Equilogical Spaces (1998)

Cached

Download Links

by Andrej Bauer , Lars Birkedal , Dana S. Scott
Citations:31 - 12 self

Documents Related by Co-Citation

42 Countable functionals – S C Kleene - 1959
41 The Realizability Approach to Computable Analysis and Topology – Andrej Bauer, Steven M. Awodey, Lenore Blum, Abbas Edalat, Frank Pfenning - 2000
210 Data types as lattices – D SCOTT - 1976
24 Local Realizability Toposes and a Modal Logic for Computability (Extended Abstracts) – Stephen Awodey, Lars Birkedal, Dana S. Scott - 1999
37 Total sets and objects in domain theory – U Berger - 1993
38 The foundations of intuitionistic mathematics, especially in relation to recursive functions – Stephen Cole Kleene, Richard Eugene Vesley - 1965
232 An Introduction to Computable Analysis – K Weihrauch - 2000
23 Filter Spaces and Continuous Functions – J M E Hyland - 1979
60 Realizability Toposes and Language Semantics – J Longley - 1994
190 Sheaves in Geometry and Logic. A First Introduction to Topos Theory. 2nd corrected printing – S Mac Lane, I Moerdijk - 1994
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
22 Topological and Limit-space subcategories of Countably-based Equilogical Spaces – Matas Menni, Alex Simpson - 2001
9 Developing Theories of Types and Computability – Lars Birkedal - 1998
9 Continuous Functionals of Dependent and Transitive Types. Habilitationsschrift, Ludwig-Maximilians-Universitat Munchen – U Berger - 1997
320 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
23 Recursion on the Countable Functionals – D Normann
80 On the interpretation of intuitionistic number theory – S C Kleene - 1945
29 Model C of partial continuous functionals – Y L Ershov - 1977
265 Foundations of Constructive Mathematics – M J Beeson - 1985