Computational Adequacy of the FIX-Logic (1995)

Cached

Download Links

by Roy L. Crole

Active Bibliography

12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
88 Categorical Logic – Andrew M. Pitts - 1995
New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – unknown authors
Implementing Operational Semantics (Preliminary Report) – Roy L. Crole - 1997
10 A Sound Metalogical Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1994
Type Theory for Programming Languages – Robert Harper - 1994
34 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
730 Notions of Computation and Monads – Eugenio Moggi - 1991
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
7 Relating Operational and Denotational Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1999
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992
Recursive Types via Fixpoint Objects – Roy L. Crole - 1992
9 Computational Adequacy in an Elementary Topos – Alex K. Simpson - 1999
99 Relational Properties of Domains – Andrew M. Pitts - 1996
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