Author:
Pedicini Marco,Quaglia Francesco
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Lect Notes Comput Sci;V. Danos,1997
2. V. Danos and L. Regnier. Local and asynchronous beta-reduction (an analysis of Gi-rard’s EX-formula). In Logic in Computer Science, pages 296–306. IEEE Computer Society Press, 1993. Proceedings of the Eight Annual Symp. on Logic in Computer Science, Montreal, 1993.
3. J.-Y. Girard. Geometry of interaction 1: Interpretation of system F. In R. Ferro, C. Bonotto, S. Valentini, and A. Zanardo, editors, Logic Colloquium’ 88, pages 221–260. North-Holland, 1989.
4. G. Gonthier, M. Abadi, and J.-J. Lévy. The geometry of optimal lambda reduction. In Proc. of 17th Annual ACM Symp. on Principles of Programming Languages, pages 15–26. Albuquerque, New Mexico, January 1992. ACM Press.
5. Lect Notes Comput Sci;J. Sousa Pinto,2001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstract machines, optimal reduction, and streams;Mathematical Structures in Computer Science;2019-04-08