Comparing functional paradigms for exact real-number computation (2002)

by Andrej Bauer , Martín Hötzel Escardó , Alex Simpson
Venue:in Proceedings ICALP 2002, Springer LNCS 2380
Citations:15 - 3 self

Documents Related by Co-Citation

461 Domain Theory – Samson Abramsky, Achim Jung - 1994
12 Notions of computability at higher types I – John Longley - 2005
13 A Convenient Category of Domains – Ingo Battenfeld, Matthias Schröder, Alex Simpson
232 An Introduction to Computable Analysis – K Weihrauch - 2000
15 Computable and recursively countable functions of higher type – R O Gandy, J M E Hyland - 1976
16 A Relationship between Equilogical Spaces and Type Two Effectivity – Andrej Bauer
22 Interpretation of analysis by means of functionals of finite type – G Kreisel - 1959
42 Countable functionals – S C Kleene - 1959
59 Continuous Lattices and Domains – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 2003
265 Foundations of Constructive Mathematics – M J Beeson - 1985
23 Totale Objekte und Mengen in der Bereichstheorie. Doctoral Dissertation – U Berger - 1990
5 Comparing hierarchies of total functionals – Dag Normann - 2005
25 Comparing cartesian closed categories of (core) compactly generated spaces – Martín Escardó, Jimmie Lawson, Alex Simpson - 2004
57 Recursive functionals and quantifiers of finite types – Stephen C Kleene - 1959
9 The hereditary partial effective functionals and recursion theory in higher types – G Longo, E Moggi - 1984
6 Hierarchies of Total Functionals over the Reals, Theoretical Computer Science 316 – D Normann - 2004
16 The Continuous Functionals of Finite Types Over the Reals – Dag Normann - 1998
401 Vulnerabilities Analysis – Matt Bishop - 1999
11 Operational domain theory and topology of a sequential language – Martín Escardó, Weng Kin Ho - 2005