Subject
Computer Science Applications,General Mathematics,Software
Reference58 articles.
1. Y. Andou, A Normalization-Procedure for the First Order Classical Natural Deduction with Full Logical Symbols,Tsukuba J. Math.19(1995) 153-162.
2. Y. Andou,Church-Rosser property of a simple reduction for full first order classical natural deduction(submitted).
3. Y. Andou,Strong normalization of classical natural deduction, Logic Colloquium 2000.Bull. Symbolic Logic(to appear).
4. F. Barbanera and S. Berardi,Extracting Constructive Context from Classical LogicviaControl-like Reductions. Springer,Lecture Notes in Comput. Sci.664(1993) 45-59.
5. H.P. Barendregt,The Lambda Calculus, Its Syntax and Semantics, Revised edition. North-Holland (1984).
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献