Realizability as Connection between Constructive and Computable Mathematics.

Andrej Bauer

Browse the full CCA paper archive.