The Continuous Functionals of Finite Types Over the Reals (1998)

Cached

Download Links

by Dag Normann
Citations:16 - 4 self

Active Bibliography

2 Limit Spaces and Transfinite Types – Dag Normann, Geir Waagbø - 1998
4 On the ubiquity of certain total type structures – John Longley - 2007
Representation Theorems for Transfinite Computability And Definability – Dag Normann - 1996
12 Continuous Functionals of Dependent Types and Equilogical Spaces – Andrej Bauer, Lars Birkedal - 2000
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
6 Categories of Domains With Totality – Dag Normann - 2000
13 Computability Over the Partial Continuous Functionals – Dag Normann - 1998
16 A Relationship between Equilogical Spaces and Type Two Effectivity – Andrej Bauer
10 Density Theorems for the Domains-With-Totality Semantics of Dependent Types – Ulrich Berger - 2000
11 Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisations – Ralph Loader, Proof-theoretic Characterisations - 1994
7 Equational Theories for Inductive Types – Ralph Loader - 1997
A Note on SDT in Filter Spaces – Eugenio Moggi - 1993
Convergence Classes and Spaces of Partial Functions – Roland Heinze Institut, Roland Heinze, Pascal Hitzler, Anthony Karel Seda - 2001
6 Admissible Domain Representations of Topological Spaces – Göran Hamrin, Göran Hamrin - 2005
2 Notions of computability at higher types II – John Longley - 2001
6 On the Relationship between Filter Spaces and Equilogical Spaces – Reinhold Heckmann - 1998
4 The Largest Topological Subcategory of Countably-based Equilogical Spaces – Matías Menni, Alex Simpson - 1998
9 The S-replete construction – J.M.E. Hyland, E. Moggi - 1995