An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory (1997)

by Marcelo Fiore , Gordon D. Plotkin
Venue:In Proceedings of CSL 96
Citations:17 - 6 self

Active Bibliography

9 Computational Adequacy in an Elementary Topos – Alex K. Simpson - 1999
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
Domains in H – Marcelo P. Fiore, Giuseppe Rosolini
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
The King's Buildings Edinburgh EH9 3JZ, Scotland – Marcelo Fiore
8 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
60 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
Studying repleteness in the category of cpos – Michael Makkai
7 Enrichment and Representation Theorems for Categories of Domains and Continuous Functions – Marcelo P. Fiore - 1996
3 Equational lifting monads – Anna Bucalo, Carsten Führmann, Alex Simpson - 1999
Presheaf models of quantum computation: an – Octavio Malherbe, Philip Scott, Peter Selinger - 1302
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
3 Lifting as a KZ-doctrine – Marcelo P. Fiore - 1995
3 Order-Enrichment for Categories of Partial Maps – Marcelo P. Fiore - 1993
16 Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) – Marcelo Fiore, Gordon Plotkin, John Power - 1997
12 A Convenient Category of Domains – Ingo Battenfeld, Matthias Schröder, Alex Simpson
1 The Convex Powerdomain in a Category of Posets Realized By Cpos – Alex K. Simpson - 1995