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

by Martín Escardó , Jimmie Lawson , Alex Simpson
Citations:15 - 8 self

Active Bibliography

9 A Convenient Category of Domains – Ingo Battenfeld, Matthias Schröder, Alex Simpson
2 Admissible Domain Representations of Inductive Limit Spaces – Fredrik Dahlgren, Fredrik Dahlgren - 2007
2 Fundamentals of Computing I – Viggo Stoltenberg-hansen, Viggo Stoltenberg-hansen, John V. Tucker, John V. Tucker - 1992
12 Continuous Functionals of Dependent Types and Equilogical Spaces – Andrej Bauer, Lars Birkedal - 2000
11 Exact Completions and Toposes – Matias Menni - 2000
9 Comparing functional paradigms for exact real-number computation – Andrej Bauer, Martín Hötzel Escardó, Alex Simpson - 2002
Compactly generated Hausdorff locales – Martín Escardó - 2005
33 A model category for the homotopy theory of concurrency – Philippe Gaucher
TEN TOPOLOGIES FOR 1x7 – R. Brown (liverpool - 1963
8 The Convergence Approach to Exponentiable Maps – Maria Manuel Clementino, Dirk Hofmann, Walter Tholen - 2000
1 III A Functional Approach to General Topology – Maria Manuel Clementino, Eraldo Giuli, Walter Tholen
2 A Domain Theoretic Approach to Effective Distribution Theory, U.U.D.M. report 2007:37 – Fredrik Dahlgren, Fredrik Dahlgren - 2007
3 Reducibility of Domain Representations and Cantor-Weihrauch Domain Representations – Jens Blanck - 2006
Domain representations of spaces of compact subsets – Ulrich Berger, Jens Blanck, Petter Kristian Køber - 2010
University that enabled me to do this research. Contents – Gábor Lukács, I The Pontryagin Dual - 2008
2 CW Type of Inverse Limits and Function Spaces – Jaka Smrekar - 708
2 Limit Spaces and Transfinite Types – Dag Normann, Geir Waagbø - 1998
15 The Continuous Functionals of Finite Types Over the Reals – Dag Normann - 1998
4 On the ubiquity of certain total type structures – John Longley - 2007