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

Documents Related by Co-Citation

62 Axiomatic Domain Theory in Categories of Partial Maps – M P Fiore - 1994
92 Algebraically complete categories – P Freyd - 1990
16 Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) – Marcelo Fiore, Gordon Plotkin, John Power - 1997
169 The category-theoretic solution of recursive domain equations – M B Smyth, G D Plotkin - 1982
68 Recursive Types Reduced to Inductive Types – P Freyd - 1990
8 A presentation of the initial lift algebra – M Jibladze - 1997
53 First steps in synthetic domain theory – Martin Hyland - 1991
33 The fixed point property in synthetic domain theory – Paul Taylor - 1991
16 Axiomatic Domain Theory – Marcelo P. Fiore - 1995
62 Remarks on algebraically compact categories – P J Freyd - 1991
43 New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – R L Crole, A M Pitts - 1990
12 Recursive types in Kleisli categories. Unpublished manuscript – A K Simpson - 1992
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
10 General Synthetic Domain Theory - A Logical Approach – B. Reus, Th. Streicher - 1997
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
60 Realizability Toposes and Language Semantics – J Longley - 1994
44 Continuity and Effectiveness in Topoi – G Rosolini - 1986
20 Effective domains and intrinsic structure – Wesley Phoa - 1990
190 Sheaves in Geometry and Logic. A First Introduction to Topos Theory. 2nd corrected printing – S Mac Lane, I Moerdijk - 1994