Author:
Dezani-Ciancaglini Mariangiola,Giovannetti Elio
Subject
General Computer Science,Theoretical Computer Science
Reference32 articles.
1. Full abstraction in the lazy lambda calculus;Abramsky;Inform. and Comput,1993
2. F. Barbanera, M. Dezani-Ciancaglini, and F.-J. de Vries. Types for trees. In Proceedings of PROCOMET'98, pages 11–29. Chapman & Hall, London, 1998.
3. The lambda calculus. Its syntax and semantics;Barendregt,1984
4. Infinite λ-calculus and non-sensible models;Berarducci,1996
5. Alcune proprietà delle forme β-η-normali nel λ-K-calcolo;Böhm;Pubblicazioni dell'IAC,1968
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献