Comparing cartesian closed categories of (core) compactly generated spaces (2004)

by Martín Escardó , Jimmie Lawson , Alex Simpson
Citations:24 - 11 self

Documents Related by Co-Citation

457 Domain Theory – Samson Abramsky, Achim Jung - 1994
264 Foundations of Constructive Mathematics – M J Beeson - 1985
15 A Relationship between Equilogical Spaces and Type Two Effectivity – Andrej Bauer
23 Recursion on the countable functionals – D Normann - 1980
13 Admissible Representations for Continuous Computations – M Schröder - 2003
237 Computable Analysis – K Weihrauch - 2000
13 EXHAUSTIBLE SETS IN HIGHER-TYPE COMPUTATION – Martín Escardó - 2008
13 A Convenient Category of Domains – Ingo Battenfeld, Matthias Schröder, Alex Simpson
6 Towards a convenient category of topological domains – A Simpson - 2003
5 Computational Effects in Topological Domain Theory – I Battenfeld - 2006
26 Synthetic topology of data types and classical spaces – Martín Escardó - 2004
5 Computing with functionals—computability theory or computer science – D Normann - 2006
733 Notions of Computation and Monads – Eugenio Moggi - 1991
100 Universal algebra – K Meinke, J V Tucker
9 Extended admissibility – M Schröder - 2002
408 Vulnerabilities Analysis – Matt Bishop - 1999
3 Topological and limit space subcategories of countably-based equilogical spaces – M Menni, A K Simpson
7 Recursion on the countable functionals, volume 811 of Lec. Not – D Normann - 1980
23 Lazy Functional Algorithms for Exact Real Functionals – Alex K. Simpson - 1998