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

Cached

Download Links

by Furio Honsell , Marina Lenisa , Dedicated To Corrado Bohm
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

Parametric Parameter Passing λ-calculus – Luca Paolini, Simona Ronchi Della Rocca, Simona Ronchi, Della Rocca - 2003
Theses Series DISI-TH-2003-XX – Luca Paolini, Université De La Méditerranée, Luca Paolini, G. Rosolini, Ext Reviewers, A. Bucciarelli, S. Ronchi, Della Rocca
4 A Filter Model for Concurrent λ-Calculus – Mariangiola Dezani-ciancaglini, Ugo de'Liguoro, Adolfo Piperno - 1998
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
7 Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems – Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
Operational Semantics and Extensionality – Simona Ronchi Della Rocca - 2000
1 Structures for Lazy Semantics – Olivier Bastonero, Alberto Pravato, Simona Ronchi Della Rocca - 1997
3 Coinductive Characterizations of Applicative Structures – Furio Honsell, Marina Lenisa - 1998
2 Semantical Analysis of Perpetual Strategies in λ-calculus – Furio Honsell, Marina Lenisa - 1998
5 Themes in Final Semantics – Marina Lenisa - 1998
6 Semantical Analysis of Perpetual Strategies in λ-calculus – Furio Honsell, Marina Lenisa - 1998
2 Final Semantics for untyped λ-calculus – Furio Honsell, Marina Lenisa - 1995
20 On The Algebraic Models Of Lambda Calculus – Antonino Salibra - 1997
12 A Complete Characterization of Complete Intersection-Type Theories (Extended Abstract) – M. Dezani-ciancaglini, F. Honsell, F. Alessi - 2000
3 Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms – Peter Selinger, Peter Selinger, Peter Selinger, Andre Scedrov - 1997
A Type-Free Resource-Aware λ-Calculus – Luca Roversi - 1996
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991