Author:
Dougherty Daniel J.,Ghilezan Silvia,Lescanne Pierre
Subject
General Computer Science,Theoretical Computer Science
Reference48 articles.
1. A symmetric lambda calculus for classical program extraction;Barbanera;Information and Computation,1996
2. Intersection and union types: Syntax and semantics;Barbanera;Information and Computation,1995
3. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
4. A filter lambda model and the completeness of type assignment;Barendregt;Journal of Symbolic Logic,1984
5. Lambda terms for natural deduction, sequent calculus and cut-elimination;Barendregt;Journal of Functional Programming,2000
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Consuming and Persistent Types for Classical Logic;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08
2. NON-IDEMPOTENT TYPES FOR CLASSICAL CALCULI IN NATURAL DEDUCTION STYLE;LOG METH COMPUT SCI;2020
3. The Duality of Classical Intersection and Union Types;Fundamenta Informaticae;2019-10-18
4. Characterizing of Strong Normalization forΛμ-Calculus;Journal of Physics: Conference Series;2019-04
5. Characterizing Strongly Normalizing λGtz-terms via Non-Idempotent Intersection Types;Proceedings of the 3rd International Conference on Computer Science and Application Engineering - CSAE 2019;2019