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

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

Active Bibliography

13 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
Computability on topological spaces via domain – Viggo Stoltenberg-hansen, John V. Tucker
12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES – Viggo Stoltenberg-hansen, John V. Tucker
4 Computability on topological spaces via domain representations – Viggo Stoltenberg-Hansen, John V. Tucker - 2007
Foundations for Computable Topology – Paul Taylor - 2009
13 Exact Completions and Toposes – Matias Menni - 2000
12 Continuous Functionals of Dependent Types and Equilogical Spaces – Andrej Bauer, Lars Birkedal - 2000
Additional services for Mathematical Structures in – Martín Escardó, Paulo Oliva Selection Functions, Bar Recursion, Mart Ín Escardó, Paulo Oliva - 2009
15 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
38 A model category for the homotopy theory of concurrency – Philippe Gaucher
Previous Up Next Article Citations From References: 2 From Reviews: 0 – unknown authors
TEN TOPOLOGIES FOR 1x7 – R. Brown (liverpool - 1963
9 The Convergence Approach to Exponentiable Maps – Maria Manuel Clementino, Dirk Hofmann, Walter Tholen - 2000
3 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
Domain representations of spaces of compact subsets – Ulrich Berger, Jens Blanck, Petter Kristian Køber - 2010