|
5
|
Theory of representations. Theoretical computer science
– C Kreitz, K Weihrauch
- 1985
|
|
5
|
Equilogical spaces and filter spaces
– G Rosolini
- 1998
|
|
5
|
Cartesian closed exact completions. Available from the Hypatia Electronic Library: http://hypatia.dcs.qmw.ac.uk
– J Rosicky
- 1997
|
|
15
|
The Continuous Functionals of Finite Types Over the Reals
– Dag Normann
- 1998
|
|
6
|
On the Relationship between Filter Spaces and Equilogical Spaces
– Reinhold Heckmann
- 1998
|
|
21
|
Filter spaces and continuous functionals
– J M E Hyland
- 1977
|
|
7
|
A model for bar recursion of higher types
– B Scarpellini
- 1971
|
|
31
|
Total sets and objects in domain theory
– U Berger
- 1993
|
|
30
|
Lawson-compactness for the Probabilistic Powerdomain
– Achim Jung
- 1997
|
|
8
|
Continuous Functionals of Dependent and Transfinite Types
– Ulrich Berger
- 1995
|
|
21
|
Locally cartesian closed exact completions
– A Carboni, G Rosolini
- 2000
|
|
199
|
Data types as lattices
– Dana Scott
- 1976
|
|
52
|
First steps in synthetic domain theory
– J M E Hyland
- 1488
|
|
17
|
On a topological topos
– P T Johnstone
- 1979
|
|
304
|
A Compendium of Continuous Lattices
– G Gierz, K H Hofmann, K Keimel, J D Lawson, M W Mislove, D S Scott
- 1980
|
|
25
|
Type theory via exact categories
– L Birkedal, A Carboni, G Rosolini, D S Scott
- 1998
|
|
53
|
Equality between functionals
– Harvey Friedman
- 1975
|
|
29
|
Anembedding theorem for closed categories
– B J Day
- 1974
|
|
909
|
Introduction to Lattices and Order
– B A Davey, H A Priestley
- 1990
|
