Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation-Reference-Cited by-同舟云学术

Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation

Published:2014 Issue: Volume: Page:31-50
ISSN:1572-6126
Container-title:Trends in Logic
language:
Short-container-title:

Author:

Urban Christian

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-007-7548-0_2

Reference19 articles.

1. Altenkirch, T., Dybjer, P., Hofmann, M., & Scott, P. (2001). Normalization by Evaluation for typed lambda calculus with coproducts. Proceedings of Logic in Computer Science (pp. 203–210).

2. Barbanera, F. & Berardi, S. (1994). A symmetric lambda calculus for “classical” program extraction. Theoretical Aspects of Computer Software, volume 789 of LNCS (pp. 495–515). Springer.

3. Barendregt, H., & Ghilezan, S. (2000). Theoretical pearls: Lambda terms for natural deduction, sequent calculus and cut elimination. Journal of Functional Programming, 10(1), 121–134.

4. Bloo, R. (1997). Preservation of termination for explicit substitution. Ph.D. thesis. Eindhoven University of Technology.

5. Espírito Santo, J. C. (2000). Revisiting the correspondence between cut elimination and normalisation. Proceedings of ICALP 2000, volume 1853 of LNCS (pp. 600–611). Springer.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Elimination of Maximum Cuts in Linear Logic and BCK Logic;Studia Logica;2022-12-15

2. Maximum Segments as Natural Deduction Images of Some Cuts;Logica Universalis;2022-08-23

3. What is the Meaning of Proofs?;Journal of Philosophical Logic;2020-10-22

4. The subformula property of natural deduction derivations and analytic cuts;Logic Journal of the IGPL;2020-06-17

5. AN ANALYSIS OF THE RULES OF GENTZEN’S NJ AND LJ;The Review of Symbolic Logic;2018-06