Author:
Broda Sabine,Damas Luı́s,Finger Marcelo,Silva e Silva Paulo
Subject
General Computer Science,Theoretical Computer Science
Reference13 articles.
1. Entailment, Vol. I;Anderson,1975
2. Lambda calculi with types;Barendregt,1992
3. C.-B. Ben-Yelles, Type-assignment in the lambda-calculus; syntax and semantics, Ph.D. Thesis, Mathematics Department, University of Wales, Swansea, UK, 1979.
4. S. Broda, L. Damas, On the structure of normal λ-terms having a certain type, Proc. 7th WoLLIC’2000, 2000, pp. 33–43, copy in http://www.dcc.fc.up.pt/~sbb/wollic00.ps.
5. Proof finding algorithms for implicational logics;Bunder;Theoret. Comput. Sci.,2000
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A short note on type-inhabitation: Formula-trees vs. game semantics;Information Processing Letters;2015-11
2. Bibliography;Proof Theory;2014-07-30
3. Recent Work in Relevant Logic;Analysis;2013-07-01
4. Ticket Entailment is decidable;Mathematical Structures in Computer Science;2012-07-09
5. On Long Normal Inhabitants of a Type;Journal of Logic and Computation;2005-06-01