Comparing Cartesian closed categories of (core) compactly generated spaces

Bauer, 2002, A relationship between equilogical spaces and type two effectivity, Math. Logic Quart., 48, 1, 10.1002/1521-3870(200210)48:1+<1::AID-MALQ11111>3.0.CO;2-7

A. Bauer, L. Birkedal, D.S. Scott, Equilogical spaces, Theoret. Comput. Sci., in press

Borceux, 1994, Categories and structures, vol. 2

R. Brown, Some problems of algebraic topology: A study of function spaces, function complexes and fd-complexes, Ph.D. Thesis, New College, Oxford University, December 1961

Brown, 1964, Function spaces and product topologies, Quart. J. Math. Oxford Ser. (2), 15, 238, 10.1093/qmath/15.1.238

Brown, 1988

Day, 1972, A reflection theorem for closed categories, J. Pure Appl. Algebra, 2, 1, 10.1016/0022-4049(72)90021-7

Day, 1970, On topological quotient maps preserved by pullbacks or products, Proc. Cambridge Philos. Soc., 67, 553, 10.1017/S0305004100045850

Dolecki, 1995, When do the upper Kuratowski topology (homeomorphically, Scott topology) and the co-compact topology coincide?, Trans. Amer. Math. Soc., 347, 2869, 10.1090/S0002-9947-1995-1303118-7

Dugundji, 1966

M.H. Escardó, Topology of data types and computability concepts, Electronic Notes in Theoretical Computer Science, in press

Gale, 1950, Compact sets of functions and function rings, Proc. Amer. Math. Soc., 1, 303, 10.1090/S0002-9939-1950-0036503-X

Gierz, 2003

Hofmann, 1984, On the order-theoretical foundation of a theory of quasicompactly generated spaces without separation axiom, J. Austral. Math. Soc. Ser. A, 36, 194, 10.1017/S1446788700024654

Hyland, 1977, Filter spaces and continuous functionals, Ann. of Math. Logic, 16, 101, 10.1016/0003-4843(79)90006-8

Isbell, 1975, Function spaces and adjoints, Math. Scand., 36, 317, 10.7146/math.scand.a-11581

Isbell, 1986, General function spaces, products and continuous lattices, Math. Proc. Cambridge Philos. Soc., 100, 193, 10.1017/S0305004100066020

Kelley, 1955

Mac Lane, 1971

Menni, 2002, Topological and limit-space subcategories of countably-based equilogical spaces, Math. Structures Comput. Sci., 12, 739, 10.1017/S0960129502003699

Michael, 1966, ℵ0-spaces, J. Math. Mech., 15, 983

Normann, 1980, Recursion on the Countable Functionals, vol. 811

M. Schröder, Admissible representations for continuous computations, Ph.D. Thesis, Universität Hagen, 2002

Schwarz, 1983, Powers and exponential objects in initially structured categories and applications to categories of limit spaces, Quaestiones Math., 6, 227, 10.1080/16073606.1983.9632302

Schwarz, 1985, Scott topology, Isbell topology and continuous convergence, vol. 101, 251

Spanier, 1959, Infinite symmetric products, function spaces, and duality, Ann. of Math. (2), 69, 142, 10.2307/1970099

Steenrod, 1967, A convenient category of topological spaces, Michigan Math. J., 14, 133, 10.1307/mmj/1028999711

S. Weingram, Bundles, realizations and k-spaces, Ph.D. Thesis, Princeton University, 1961