Enrichment and Representation Theorems for Categories of Domains and Continuous Functions (1996)

Cached

Download Links

by Marcelo P. Fiore
Citations:7 - 5 self

Documents Related by Co-Citation

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 S-replete 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: FIX-Hyperdoctrines and the FIX-Logic – R L Crole, A M Pitts - 1990