Limit Spaces and Transfinite Types (1998)

View PDF

Download Links

by Dag Normann , Geir Waagbø
Citations:2 - 0 self

Active Bibliography

16 The Continuous Functionals of Finite Types Over the Reals – Dag Normann - 1998
8 Full Abstraction, Totality and PCF – Gordon Plotkin - 1997
7 Categories of Domains With Totality – Dag Normann - 2000
12 Continuous Functionals of Dependent Types and Equilogical Spaces – Andrej Bauer, Lars Birkedal - 2000
4 On the ubiquity of certain total type structures – John Longley - 2007
25 Topological and Limit-space subcategories of Countably-based Equilogical Spaces – Matas Menni, Alex Simpson - 2001
13 Computability Over the Partial Continuous Functionals – Dag Normann - 1998
27 Comparing cartesian closed categories of (core) compactly generated spaces – Martín Escardó, Jimmie Lawson, Alex Simpson - 2004
7 Equational Theories for Inductive Types – Ralph Loader - 1997