Author:
Kesner Delia,Martínez López Pablo E.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Martín Abadi and Luca Cardelli. A Theroy of Objects. Springer Verlag, 1996.
2. Martin Abadi, Luca Cardelli, Pierre Louis Curien, and Jean-Jacques Lévy. Explicit substitutions. Journal of Functional Programming, 4(1):375–416, 1991.
3. Henk Barendregt. The Lambda Calculus; Its syntax and Semantics (revised edition). North Holland. 1984.
4. Gilles Barthe, Fairouz Kamareddine, and Alejandro Ríos. Explicit substitutions for control operators. TR 96-26, University of Glasgow, 1997.
5. Roel Bloo and Kristoffer Rose. Preservation of strong normalization in named lambda calculi with explicit substitution and garbage collection. In Computer Science in the Netherlands (CSN), pages 62–72, 1995.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献