Two Models of Synthetic Domain Theory (1997)

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

Documents Related by Co-Citation

53 First steps in synthetic domain theory – Martin Hyland - 1991
33 The fixed point property in synthetic domain theory – Paul Taylor - 1991
60 Realizability Toposes and Language Semantics – J Longley - 1994
44 Continuity and Effectiveness in Topoi – G Rosolini - 1986
8 A presentation of the initial lift algebra – M Jibladze - 1997
23 Extensional PERs – P Freyd, P Mulry, G Rosolini, D Scott - 1990
43 New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – R L Crole, A M Pitts - 1990
9 The S-replete construction – J.M.E. Hyland, E. Moggi - 1995
67 Categories of continuous functors – P J Freyd, G M Kelly
15 Program Verification in Synthetic Domain Theory – B Reus - 1995
17 An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory – Marcelo Fiore, Gordon D. Plotkin - 1997
19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
62 Axiomatic Domain Theory in Categories of Partial Maps – M P Fiore - 1994
20 Effective domains and intrinsic structure – Wesley Phoa - 1990
7 Enrichment and Representation Theorems for Categories of Domains and Continuous Functions – Marcelo P. Fiore - 1996
4 An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions – Marcelo P. Fiore - 1996
13 Domain Theory in Realizability Toposes – Wesley Phoa - 1990
5 Repleteness and the associated sheaf – Anna Bucalo, Giuseppe Rosolini - 1998
342 Intuitionistic Type Theory – P Martin-Löf - 1984