34

An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC
– Marcelo P. Fiore, Gordon D. Plotkin
 1994

62

Axiomatic Domain Theory in Categories of Partial Maps
– M P Fiore
 1994

3

editors. Category Theory
– A Carboni, M C Pedicchio, G Rosolini
 1990

3

Algebras for the partial map classifier monad
– Anders Kock
 1991

1

First steps on the representation of domains. Manuscript (available from http://www.dcs.ed.ac.uk/home/mf/path.dvi
– M P Fiore
 1994

1

Monads for which structures are adjoints to units. Manuscript (to appear
– A Kock
 1994

1

Categorical structures. Manuscript (to appear in the Handbook of Algebra volume 2
– R Street
 1992

10

Categories of partial morphisms and the partial lambdacalculus
– E MOGGI
 1986

2

Cpocategories of partial maps
– M P Fiore
 1993

44

Continuity and Effectiveness in Topoi
– G Rosolini
 1986

53

First steps in synthetic domain theory
– Martin Hyland
 1991

33

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

13

Domain Theory in Realizability Toposes
– Wesley Phoa
 1990

56

Topology: a geometric account of general topology, homotopy types and the fundamental groupoid
– R Brown
 1988

42

Monads on symmetric monoidal closed categories
– A Kock
 1970

1

Difunctorial semantics of object calculus
– Johan Glimming, Neil Ghani
 2005

17

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

4

A metalanguage for predomains
– G D Plotkin
 1983

28

Lectures on Predomains and Partial Functions. Notes for a course at CSLI
– G D Plotkin
 1985
