Order-Enrichment for Categories of Partial Maps (1993)

Cached

Download Links

by Marcelo P. Fiore
Citations:3 - 1 self

Documents Related by Co-Citation

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 lambda-calculus – E MOGGI - 1986
2 Cpo-categories 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