Author:
Ventura Daniel Lima,Ayala-Rincón Mauricio,Kamareddine Fairouz
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Abadi, M., Cardelli, L., Curien, P.-L., Lévy, J.-J.: Explicit Substitutions. J. func. program. 1(4), 375–416 (1991)
2. Ayala-Rincón, M., Kamareddine, F.: Unification via the λs
e
-Style of Explicit Substitution. Logical Journal of the IGPL 9(4), 489–523 (2001)
3. van Bakel, S.: Intersection Type Assignment Systems. Theoret. comput. sci. 151, 385–435 (1995)
4. Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment. J. symbolic logic 48, 931–940 (1983)
5. Barendregt, H.: The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam (1984)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献