Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. H. P. Barendregt. The Lambda Calculus, its Syntax and Semantics. North Holland, 2nd edition, 1984.
2. D. Briaud. An explicit Eta rewrite rule. In M. Dezani-Ciancaglini and G. Plotkin, editors, Typed Lambda Calculi and Applications, volume 902 of Lect. Notes in Comp. Sci., pages 94–108. Springer-Verlag, 1995.
3. N. G. de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Indagationes Mathematicae, 34:381–392, 1972.
4. M. Gordon and T. Melham. Introduction to HOL: a theorem-proving environment for higher-order logic. Cambridge University Press, 1993.
5. T. Hardin. Eta-conversion for the language of explicit substitutions. In H. Kirchner and G. Levi, editors, Algebraic and Logic Programming, volume 632 of Lect. Notes in Comp. Sci., pages 306–321. Springer-Verlag, 1992.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献