Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Y. Andou: A Normalization-Procedure for the First Order Classical Natural Deduction with Full Logical Symbols. Tsukuba Journal of Mathematics 19(1) pp.153–162, 1995.
2. H.P. Barendregt: The Lambda Calculus, Its Syntax and Semantics (revised edition), North-Holland, 1984.
3. H.P. Barendregt: Lambda Calculi with Types, Handbook of Logic in Computer Science Vol.II, Oxford University Press, pp.1–189, 1992.
4. Lect Notes Comput Sci;F. Barbanera,1993
5. Lect Notes Comput Sci;G. Barthe,1997
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Confluence Proofs of Lambda-Mu-Calculi by Z Theorem;Studia Logica;2021-01-21
2. Monadic translation of classical sequent calculus;Mathematical Structures in Computer Science;2013-01-18
3. Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types;Functional and Constraint Logic Programming;2010
4. Domain-Freeλµ-Calculus;RAIRO - Theoretical Informatics and Applications;2000-11
5. Partially Typed Terms between Church-Style and Curry-Style;Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics;2000