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

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

Documents Related by Co-Citation

461 Domain Theory – Samson Abramsky, Achim Jung - 1994
265 Foundations of Constructive Mathematics – M J Beeson - 1985
16 A Relationship between Equilogical Spaces and Type Two Effectivity – Andrej Bauer
12 Admissible Representations for Continuous Computations – M Schröder - 2002
13 A Convenient Category of Domains – Ingo Battenfeld, Matthias Schröder, Alex Simpson
232 An Introduction to Computable Analysis – K Weihrauch - 2000
26 Synthetic topology of data types and classical spaces – Martín Escardó - 2004
23 Recursion on the Countable Functionals – D Normann
401 Vulnerabilities Analysis – Matt Bishop - 1999
26 Domain Representations of Topological Spaces – Jens Blanck - 2000
6 Towards a convenient category of topological domains – A Simpson - 2003
4 A Category of Topological Predomains,” Diploma Thesis – I Battenfeld - 2004
59 Continuous Lattices and Domains – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 2003
5 Computational Effects in Topological Domain Theory – I Battenfeld - 2006
15 Comparing functional paradigms for exact real-number computation – Andrej Bauer, Martín Hötzel Escardó, Alex Simpson - 2002
12 Notions of computability at higher types I – John Longley - 2005
15 Computable and recursively countable functions of higher type – R O Gandy, J M E Hyland - 1976
23 Filter Spaces and Continuous Functions – J M E Hyland - 1979
5 Computing with functionals—computability theory or computer science – D Normann - 2006