Author:
Liquori Luigi,Ronchi Della Rocca Simona
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference20 articles.
1. A filter lambda model and the completeness of type assignment;Barendregt;Journal of Symbolic Logic,1983
2. M. Coppo, M. Dezani-Ciancaglini, F. Honsell, G. Longo, Extended type structures and filter lambda models, Logic Colloquium ’82, North Holland, 1983, pp. 241–262.
3. Comparing cubes of typed and type assignment systems;vanBakel;Annals of Pure and Applied Logic,1997
4. B. Capitani, B. Venneri, Hyperformulæ, parallel deductions and intersection-types, in: Proceedings of the BOTH 2001, ENTCS, 50(2), 2001, pp. 180–198.
5. An extension of the basic functionality theory for the λ-calculus;Coppo;Notre Dame Journal of Formal Logic,1980
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polymorphic Type Inference for Dynamic Languages;Proceedings of the ACM on Programming Languages;2024-01-05
2. Intersection Types via Finite-Set Declarations;Lecture Notes in Computer Science;2024
3. YACC: Yet Another Church Calculus;Lecture Notes in Computer Science;2024
4. A Typed Lambda Calculus with Gradual Intersection Types;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
5. A tale of intersection types;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08