Author:
Kurz Alexander,Petrişan Daniela,Severi Paula,de Vries Fer-Jan
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Abramsky, S.: The lazy lambda calculus. In: Research Topics in Functional Programming, pp. 65–116. Addison-Wesley (1990)
2. Abramsky, S., Luke Ong, C.-H.: Full abstraction in the lazy lambda calculus. Inform. and Comput. 105(2), 159–267 (1993)
3. Adámek, J.: On final coalgebras of continuous functors. Theor. Comput. Sci. 294(1/2), 3–29 (2003)
4. Arnold, A., Nivat, M.: The metric space of infinite trees. algebraic and topological properties. Fundamenta Informaticae 4, 445–476 (1980)
5. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics, Revised edition. North-Holland, Amsterdam (1984)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献