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 induct,ive 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
34 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 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
424 Introduction to Higher Order Categorical Logic – J Lambek, P J 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
45 Continuity and Effectiveness in Topoi – Giuseppe Rosolini - 1986
38 Algebraic Set Theory – A Joyal, I Moerdijk - 1995
188 Sheaves in Geometry and Logic. A First Introduction to Topos Theory – S Mac Lane, I Moerdijk - 1992