Author:
Di Cosmo Roberto,Pipemo Adolfo
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Yohji Akama. On Mints' reductions for ccc-calculus. In Typed Lambda Calculus and Applications, number 664 in LNCS, pages 1–12. Springer Verlag, 1993.
2. Henk Barendregt. The Lambda Calculus; Its syntax and Semantics (revised edition). North Holland, 1984.
3. Pierre-Louis Curien and Roberto Di Cosmo. A confluent reduction system for the λ-calculus with surjective pairing and terminal object. In Leach, Monien, and Artalejo, editors, Intern. Conf. on Automata, Languages and Programming (ICALP), volume 510 of Lecture Notes in Computer Science, pages 291–302. Springer-Verlag, 1991.
4. Djordje Cubric. On free ccc. Distributed on the types mailing list, 1992.
5. Roberto Di Cosmo and Delia Kesner. Simulating expansions without expansions. Technical Report LIENS-93-11/INRIA 1911, LIENS-DMI and INRIA, 1993.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献