Author:
Pagani Michele,della Rocca Simona Ronchi
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Boudol, G.: The Lambda-Calculus with Multiplicities. INRIA Report 2025 (1993)
2. Ehrhard, T., Regnier, L.: The Differential Lambda-Calculus. Theor. Comput. Sci. 309(1), 1–41 (2003)
3. Tranquilli, P.: Intuitionistic Differential Nets and Lambda-Calculus. Theor. Comput. Sci. (2008) (to appear)
4. de’Liguoro, U., Piperno, A.: Non Deterministic Extensions of Untyped Lambda-Calculus. Inf. Comput. 122(2), 149–177 (1995)
5. Lecture Notes in Computer Science;T. Ehrhard,2006
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献