Author:
Barbanera E.,Dezani-Ciancaglini M.,Vries F. J.
Reference27 articles.
1. Abramsky S. Domain theory in logical form. Ann. of Pure and Appl. Logics, 51, 1991, 1–77.
2. Abramsky S., Ong C.-H.L. Full abstraction in the lazy A-calculus. Info. and Comp. 105, 1993, 159–267.
3. Alessi F. Type preorders. CAAP’94, LNCS 787, Springer-Verlag, Berlin, 1994, 37–51.
4. Barendregt H. The Lambda Calculus Its Syntax and Semantics. Studies in Logic 103, North-Holland, Amsterdam, 1984.
5. Barendregt H., Coppo M., Dezani-Ciancaglini M. A filter lambda model and the completeness of type assignment. J. Symbolic Logic 48, 1983, 931–940.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. From Böhm's Theorem to Observational Equivalences;Electronic Notes in Theoretical Computer Science;2001-08