Limit Spaces and Transfinite Types (1998)

Cached

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
6 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
13 Computability Over the Partial Continuous Functionals – Dag Normann - 1998
7 Equational Theories for Inductive Types – Ralph Loader - 1997
4 The Largest Topological Subcategory of Countably-based Equilogical Spaces – Matías Menni, Alex Simpson - 1998
22 Topological and Limit-space subcategories of Countably-based Equilogical Spaces – Matas Menni, Alex Simpson - 2001
25 Comparing cartesian closed categories of (core) compactly generated spaces – Martín Escardó, Jimmie Lawson, Alex Simpson - 2004
5 Comparing hierarchies of total functionals – Dag Normann - 2005
4 Exact Real Number Computations Relative to Hereditary Total Functions – Dag Normann - 2000
10 Continuous Functionals of Dependent and Transfinite Types – Ulrich Berger - 1995
26 Domain Representations of Topological Spaces – Jens Blanck - 2000
Representation Theorems for Transfinite Computability And Definability – Dag Normann - 1996
EXHAUSTIBLE SETS IN HIGHER-TYPE COMPUTATION – unknown authors - 808
8 Normalization By Evaluation – Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg - 1998
13 Exhaustible sets in higher-type computation – Martín Escardó
12 Term rewriting for normalization by evaluation – Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg