Document Versions

The Realizability Approach to Computable Analysis and Topology –Andrej Bauer, Steven M. Awodey, Lenore Blum, Abbas Edalat, Frank Pfenning — 2000