Two Models of Synthetic Domain Theory (1997)

by Marcelo P. Fiore , Giuseppe Rosolini
Citations:11 - 3 self

Active Bibliography

9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
8 Axioms and (Counter)examples in Synthetic Domain Theory – Jaap Van Oosten, Alex K. Simpson - 1998
19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
7 Enrichment and Representation Theorems for Categories of Domains and Continuous Functions – Marcelo P. Fiore - 1996
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
3 Lifting as a KZ-doctrine – Marcelo P. Fiore - 1995
Domains in H – Marcelo P. Fiore, Giuseppe Rosolini
9 Computational Adequacy in an Elementary Topos – Alex K. Simpson - 1999
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
The King's Buildings Edinburgh EH9 3JZ, Scotland – Marcelo Fiore
A Presentation Of The Initial Lift-Algebra – Mamuka Jiblad Ze - 1997
2 Fundamentals of Object Oriented Database Modelling – Klaus-Dieter Schewe - 1996
2 The Type Concept in OODB Modelling and its Logical Implications – Klaus-Dieter Schewe - 2000
3 Equational lifting monads – Anna Bucalo, Carsten Führmann, Alex Simpson - 1999
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
9 The S-replete construction – J.M.E. Hyland, E. Moggi - 1995
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992