The Realizability Approach to Computable Analysis and Topology (2000)

by Andrej Bauer, Steven M. Awodey, Lenore Blum, Abbas Edalat, Frank Pfenning