Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. M. Abadi, L. Cardelli, P-L. Curien, and J-J. Lévy. Explicit substitutions. JFP, 4(1):375–416, 1991.
2. Y. Akama. On mints' reductions for ccc-calculus. In TLCA, LNCS 664, 1993.
3. H. Barendregt. The Lambda Calculus; Its syntax and Semantics (revised edition). North Holland, 1984.
4. Z-E-A. Benaissa and D. Briaud and P. Lescanne and J. Rouyer-Degli. λv, a calculus of explicit substitutions which preserves strong normalisation. Available from http://www.loria.fr/lescanne/publications.html. 1995.
5. D. Briaud. An explicit eta rewrite rule. In TLCA, LNCS 902, 1995.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献