Author:
Bessai Jan,Rehof Jakob,Düdder Boris
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Avigad,2004
2. van Bakel, S.: Complete restrictions of the intersection type discipline. Theor. Comput. Sci. 102(1), 135–163 (1992).
https://doi.org/10.1016/0304-3975(92)90297-S
3. Barendregt, H.P., Dekkers, W., Statman, R.: Lambda Calculus with Types. Perspectives in logic. Cambridge University Press (2013).
http://www.cambridge.org/de/academic/subjects/mathematics/logic-categories-and-sets/lambda-calculus-types
4. Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment. J. Symb. Log. 48(4), 931–940 (1983).
https://doi.org/10.2307/2273659
5. Lecture Notes in Computer Science;J Bessai,2014
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献