Programming Metalogics with a Fixpoint Type (1992)

Cached

Download Links

by Roy Louis Crole , C Fl Roy Louis Crole , Prof E. Moggi
Citations:12 - 6 self

Documents Related by Co-Citation

439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
43 New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – R L Crole, A M Pitts - 1990
730 Notions of Computation and Monads – Eugenio Moggi - 1991
18 Categories for Types. Cambridge Mathematical Textbooks – R L Crole - 1993
33 Denotational semantics with partial functions – Gordon D Plotkin - 1985
395 LCF considered as a programming language – G Plotkin - 1977
88 Categorical Logic – Andrew M. Pitts - 1995
12 New Foundations for Fixpoint Computations – Roy L. Crole, Andrew M. Pitts - 1990
92 Algebraically complete categories – P Freyd - 1990
99 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995
7 Cate'gories et Machines – Y Lafont, Logiques - 1988
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
9 An Operational Semantics for I/O in a Lazy Functional Language – Andrew D. Gordon - 1993
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
81 A semantics for ML concurrency primitives – Dave Berry, Robin Milner, David N. Turner - 1992
134 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
60 Towards a lambda-calculus for concurrent and communicating systems – G erard Boudol - 1989
42 Monads on symmetric monoidal closed categories – A Kock - 1970
134 Elements of Intuitionism – M Dummett - 1977