The Realizability Approach to Computable Analysis and Topology (2000)

by Andrej Bauer , Steven M. Awodey , Lenore Blum , Abbas Edalat , Frank Pfenning
Citations:34 - 16 self

Document Versions

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