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

456 Domain Theory – Samson Abramsky, Achim Jung - 1994
230 Computable Analysis – K Weihrauch - 2000
263 Foundations of Constructive Mathematics – M J Beeson - 1985
23 Recursion on the countable functionals – D Normann - 1980
730 Notions of Computation and Monads – Eugenio Moggi - 1991
11 Compactly generated domain theory – I Battenfeld, M Schröder, A Simpson - 2006
23 Filter Spaces and Continuous Functions – J M E Hyland - 1979
58 Continuous Lattices and Domains – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 2003
24 Synthetic topology of data types and classical spaces – Martín Escardó - 2004
5 Computing with functionals—computability theory or computer science – D Normann - 2006
34 Classification of continuous domains – A Jung - 1990
136 Probabilistic Non-determinism – C Jones - 1990
13 EXHAUSTIBLE SETS IN HIGHER-TYPE COMPUTATION – Martín Escardó - 2008
12 Admissible Representations for Continuous Computations – M Schröder - 2002
15 A Relationship between Equilogical Spaces and Type Two Effectivity – Andrej Bauer
12 A Convenient Category of Domains – Ingo Battenfeld, Matthias Schröder, Alex Simpson
6 Towards a convenient category of topological domains – A Simpson - 2003
40 Programming in Haskell – G Hutton - 2007
4 A Category of Topological Predomains,” Diploma Thesis – I Battenfeld - 2004