Relational Properties of Domains (1996)

Cached

Download Links

by Andrew M. Pitts
Venue:Information and Computation
Citations:99 - 5 self

Documents Related by Co-Citation

119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
92 Algebraically complete categories – P Freyd - 1990
62 Remarks on algebraically compact categories – P J Freyd - 1991
395 LCF considered as a programming language – G Plotkin - 1977
122 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
40 A Co-induction Principle for Recursively Defined Domains – Andrew M. Pitts - 1992
36 From Operational Semantics to Domain Theory – Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1995
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
68 Recursive Types Reduced to Inductive Types – P Freyd - 1990
16 Axiomatic Domain Theory – Marcelo P. Fiore - 1995
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
730 Notions of Computation and Monads – Eugenio Moggi - 1991
34 Domain Theoretic Models Of Polymorphism – Thierry Coquand, Carl A. Gunter, Glynn Winskel - 1989
110 Fully abstract models of typed lambda calculi – R Milner - 1977
169 The category-theoretic solution of recursive domain equations – M B Smyth, G D Plotkin - 1982
34 Lambda-definability and logical relations. Memorandum SAI–RM–4 – G D Plotkin - 1973
75 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000