Documents Related by Co-Citation

232 An Introduction to Computable Analysis – K Weihrauch - 2000
31 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
42 Countable functionals – S C Kleene - 1959
38 The foundations of intuitionistic mathematics, especially in relation to recursive functions – Stephen Cole Kleene, Richard Eugene Vesley - 1965
60 Realizability Toposes and Language Semantics – J Longley - 1994
22 Topological and Limit-space subcategories of Countably-based Equilogical Spaces – Matas Menni, Alex Simpson - 2001
24 Local Realizability Toposes and a Modal Logic for Computability (Extended Abstracts) – Stephen Awodey, Lars Birkedal, Dana S. Scott - 1999
83 The effective topos – M E Hyland - 1982
12 Continuous Functionals of Dependent Types and Equilogical Spaces – Andrej Bauer, Lars Birkedal - 2000
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
37 Total sets and objects in domain theory – U Berger - 1993
210 Data types as lattices – D SCOTT - 1976
401 Vulnerabilities Analysis – Matt Bishop - 1999
11 Theorie der Numerierungen I, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 19 – Y ERSHOV - 1973
11 Theorie der Numerierungen II, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 21 – Y ERSHOV - 1975
6 Admissible Domain Representations of Topological Spaces – Göran Hamrin, Göran Hamrin - 2005
11 Domain Representations of Partial Functions, with Applications to Spatial Objects and Constructive Volume Geometry – J. Blanck, V. Stoltenberg-Hansen, J. V. Tucker - 2000
16 Domain Theory. Handbook of Logic – S Abramsky, A Jung - 1994
80 On the interpretation of intuitionistic number theory – S C Kleene - 1945