Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Lecture Notes in Computer Science;Z. Ariola,2003
2. Baba, K., Hirokawa, S., etsu Fujita, K.: Parallel reduction in type free lambda/mu-calculus. Electronic Notes in Theoretical Computer Science 42 (2001)
3. Lecture Notes in Pure and Applied Mathematics Series;A. Berarducci,1996
4. Berarducci, A., Dezani, M.: Infinite lambda-calculus and types. TCS 212(1-2), 29–75 (1999)
5. Böhm, C.: Alcune proprietà delle forme βη-normali nel λK-calcolo. Publicazioni dell’Istituto per le Applicazioni del Calcolo, 696 (1968)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献