BibTeX
@TECHREPORT{Normann98limitspaces,
author = {Dag Normann and Geir Waagbø},
title = {Limit Spaces and Transfinite Types},
institution = {},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We give a characterisation of an extension of the Kleene-Kreisel continuous functionals to objects of transfinite types using limit spaces of transfinite types.
Citations
| 21 | Filter spaces and continuous functionals - Hyland - 1977 |
| 15 | Recursion on the Countable Functionals - Normann |
| 12 | Total sets and objects in domain theory, Annals of Pure and Applied Logic 60 - Berger - 1993 |
| 8 | Continuous Functionals of Dependent and Transfinite Types - Berger - 1999 |
| 8 | Semantics for some constructors of type theory - Kristiansen, Normann - 1995 |
| 6 | The hereditarily partial effective functionals and recursion theory in higher types - Longo, Moggi - 1984 |
| 3 | Topologie Vol 1, Warsawa - Kuratowski - 1952 |
