Some Results on the Full Abstraction Problem for Restricted Lambda Calculi (1993)

Cached

Download Links

by Furio Honsell , Marina Lenisa
Venue:IN PROC. OF THE 18 TH INTERNATIONAL SYMPOSIUM ON MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, MFCS'93, SPRINGER LNCS
Citations:14 - 1 self

Active Bibliography

766 Notions of Computation and Monads – Eugenio Moggi - 1991
Theses Series DISI-TH-2004-XX – Luca Paolini, Università Degli Studi Di Genova, Université De La Méditerranée, Luca Paolini, A. Bucciarelli, S. Ronchi, Della Rocca - 2004
1353 Monads for functional programming – Philip Wadler - 1995
578 Term Rewriting Systems – J. W. Klop - 1992
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
728 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier - 1992
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988