Author:
Asperti Andrea,Laneve Cosimo
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. P. Aczel. A general church-rosser theorem. Draft, Manchester, 1978.
2. A. Asperti and C. Laneve. Interaction systems 1: The theory of optimal reductions. Technical report n. 1748, INRIA-Rocquencourt, Septembre 1992.
3. H.P. Barendregt. The Lambda Calculus. North-Holland, 1985.
4. A. Burroni. Higher dimensional word problems. In Category Theory and Computer Science, volume 530 of Lecture Notes in Computer Science, pages 94–105. Springer-Verlag, 1991.
5. J. Field. On laziness and optimality in lambda interpreters: tools for specification and analysis. In Proceedings 17th A CM Symposium on Principles of Programmining Languages, pages 1–15, 1990.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Paths, computations and labels in the λ-calculus;Theoretical Computer Science;1995-05
2. Comparing λ-calculus translations in sharing graphs;Lecture Notes in Computer Science;1995
3. δο!∈=1 Optimizing optimal λ-calculus implementations;Rewriting Techniques and Applications;1995
4. Interaction Systems I: The theory of optimal reductions;Mathematical Structures in Computer Science;1994-12
5. Interaction systems;Higher-Order Algebra, Logic, and Term Rewriting;1994