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
 1994

67

Categories of continuous functors
– P Freyd, G Kelly
 1972

17

An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory
– Marcelo Fiore, Gordon D. Plotkin
 1997

381

BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
– G. M. Kelly
 2005

8

A presentation of the initial lift algebra
– M Jibladze
 1997

9

The Sreplete construction
– J.M.E. Hyland, E. Moggi
 1995

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

53

First steps in synthetic domain theory
– Martin Hyland
 1991

60

Realizability Toposes and Language Semantics
– J Longley
 1994

7

Notes on synthetic domain theory
– G Rosolini
 1995

3

An exper model for quest
– G Rosolini
 1992

3

editors, Category Theory 90, volume 1488
– Pedicchio, G Rosolini
 1990

33

The fixed point property in synthetic domain theory
– Paul Taylor
 1991

5

Repleteness and the associated sheaf
– Anna Bucalo, Giuseppe Rosolini
 1998

49

Sheaves in geometry and logic
– Mac Lane, S, I Moerdijk
 1992

183

Topos Theory
– P T Johnstone
 1977

43

New Foundations for Fixpoint Computations: FIXHyperdoctrines and the FIXLogic
– R L Crole, A M Pitts
 1990
