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
734 Notions of Computation and Monads – Eugenio Moggi - 1991
849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic – unknown authors
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998