Author:
Asperti Andrea,Laneve Cosimo
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. A. Asperti. Linear logic, comonads, and optimal reductions. Draft, INRIA-Rocquencourt, 1991.
2. A. Asperti and C. Laneve. Interaction systems 1: The theory of optimal reductions. Technical Report 1748, INRIA-Rocquencourt, September 1992.
3. A. Asperti and C. Laneve. Optimal reductions in interaction systems. In TapSoft '93, Lecture Notes in Computer Science. Springer-Verlag, 1993.
4. V. Danos and L. Regnier. Local and asynchronous beta-reduction. In Proceedings 8th Annual Symposium on Logic in Com puter Science, Montreal, 1993.
5. J. Field. On laziness and optimality in lambda interpreters: tools for specification and analysis. In Proceedings 17th ACM Symposium on Principles of Programmining Languages, pages 1–15, 1990.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献