|
4
|
An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions
– Marcelo P. Fiore
- 1996
|
|
62
|
Axiomatic Domain Theory in Categories of Partial Maps
– M P Fiore
- 1996
|
|
59
|
Categories of continuous functors I
– P J Freyd, G M Kelly
- 1972
|
|
17
|
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
– Marcelo Fiore, Gordon D. Plotkin
- 1997
|
|
316
|
BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
– G. M. Kelly
- 2005
|
|
8
|
A presentation of the initial lift algebra
– M Jibladze
- 1997
|
|
19
|
A Uniform Approach to Domain Theory in Realizability Models
– John R. Longley, Alex K. Simpson
- 1996
|
|
11
|
Two Models of Synthetic Domain Theory
– Marcelo P. Fiore, Giuseppe Rosolini
- 1997
|
|
55
|
Realizability Toposes and Language Semantics
– J Longley
- 1995
|
|
52
|
First steps in synthetic domain theory
– J M E Hyland
- 1488
|
|
9
|
The S-replete construction
– J.M.E. Hyland, E. Moggi
- 1995
|
|
7
|
Notes on synthetic domain theory
– G Rosolini
- 1995
|
|
3
|
An exper model for quest
– G Rosolini
- 1992
|
|
5
|
Repleteness and the associated sheaf
– Anna Bucalo, Giuseppe Rosolini
- 1998
|
|
32
|
The fixed point property in synthetic domain theory
– P Taylor
- 1991
|
|
3
|
editors, Category Theory 90, volume 1488
– Pedicchio, G Rosolini
- 1990
|
|
157
|
Topos theory
– P T Johnstone
- 1977
|
|
46
|
Sheaves in Geometry and Logic
– S Mac Lane, I Moerdijk
- 1992
|
|
43
|
New foundations for fixpoint computations: FIXhyperdoctrines and the FIX-logic
– R L Crole, A M Pitts
- 1992
|
