Author:
Severi Paula,de Vries Fer-Jan
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. A. Arnold and M. Nivat. The metric space of infinite trees. algebraic and topolog-ical properties. Fundamenta Informaticae, 4:445–476, 1980.
2. S. van Bakel, F. Barbanera, M. Dezani-Ciancaglini, and F.J. de Vries. Intersection types for λ-trees. TCS, 272(1–2):3–40, 2002.
3. H. P. Barendregt. The Lambda Calculus Its Syntax and Semantics. North-Holland Publishing Co., Amsterdam, Revised edition, 1984.
4. H. P. Barendregt, J. Bergstra, J. W. Klop, and H. Volken. Degrees, reductions and representability in the lambda calculus. Technical report, Department of Mathematics, Utrecht University, 1976.
5. A. Berarducci. Infinite λ-calculus and non-sensible models. In Logic and algebra (Pontignano, 1994), pages 339–377. Dekker, New York, 1996.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献