Author:
Dougherty Daniel J.,de’Liguoro Ugo,Liquori Luigi,Stolze Claude
Publisher
Springer International Publishing
Reference31 articles.
1. Lecture Notes in Computer Science;F Alessi,1991
2. The Agda Programming Language (2016). http://wiki.portal.chalmers.se/agda/pmwiki.php . Accessed 2 Sept 2016
3. Barendregt, H.: The Lambda Calculus: Its Syntax and Semantics, vol. 103 of Studies in Logic and the Foundations of Mathematics. revised edition (1984)
4. Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment. J. Symbolic Logic 48(4), 931–940 (1983)
5. Barbanera, F., Dezani-Ciancaglini, M., de’Liguoro, U.: Intersection and union types: syntax and semantics. Inf. Comput. 119(2), 202–230 (1995)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Degrees of Relatedness;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
2. Towards a Logical Framework with Intersection and Union Types;Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice;2017-09-08
3. A Decidable Subtyping Logic for Intersection and Union Types;Topics in Theoretical Computer Science;2017