Deliverables: A Categorical Approach to Program Development in Type Theory (1992)

Cached

Download Links

by James Hugh McKinna
Citations:24 - 1 self

Active Bibliography

702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
TYPES, SETS AND CATEGORIES – John L. Bell
734 Notions of Computation and Monads – Eugenio Moggi - 1991
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1156 A logic of authentication – Michael Burrows, Martín Abadi, Roger Needham - 1990
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
544 Nonmonotonic Reasoning, Preferential Models and Cumulative Logics – Sarit Kraus, Daniel Lehmann, Menachem Magidor - 1990
815 The Temporal Logic of Actions – Leslie Lamport - 1993
1111 Proof-Carrying Code – George C. Necula - 1997