Author:
Komori Yuichi,Matsuda Naosuke,Yamakawa Fumika
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference6 articles.
1. Barendregt, H. P., The Lambda Calculus: Its Syntax and Semantics, 2nd edition, North Holland, Amsterdam, 1984.
2. Hindley, J. R. and J. P. Seldin, Lambda-calculus and Combinators, An Introduction, Cambridge University Press, Cambridge, 2008.
3. Komori, Y. and F. Yamakawa, ‘The system of CLλ and a method to calculate β forms without β-reductions’, to appear.
4. Takahashi M.: Parallel reductions in λ-calculus. Journal of Symbolic Computation 7, 113–123 (1989)
5. Takahashi M.: Parallel reductions in λ-calculus. Information and Computation 118, 120–127 (1995)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Is sized typing for Coq practical?;Journal of Functional Programming;2023
2. Z property for the shuffling calculus;Mathematical Structures in Computer Science;2022-08
3. A formal system of reduction paths for parallel reduction;Theoretical Computer Science;2020-04
4. On Upper Bounds on the Church-Rosser Theorem;Electronic Proceedings in Theoretical Computer Science;2017-01-01
5. Compositional Z: Confluence Proofs for Permutative Conversion;Studia Logica;2016-05-21