Funder
Fundação para a Ciência e a Tecnologia
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference17 articles.
1. Standardization and confluence for a lambda calculus with generalized applications;Joachimski,2000
2. Natural deduction with general elimination rules;von Plato;Ann. Math. Log.,2001
3. Permutability of proofs in intuitionistic sequent calculi;Dyckhoff;Theor. Comput. Sci.,1999
4. The correspondence between cut-elimination and normalization;Zucker;Ann. Math. Log.,1974
5. Proofs and Types;Girard,1989
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献