Short Proofs of Strong Normalization

DOI10.1007/978-3-540-85238-4_50zbMath1173.03303arXiv0804.2535OpenAlexW1534978143MaRDI QIDQ3599163

Aleksander Wojdyga

Publication date: 3 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0804.2535

zbMATH Keywords

lambda calculusstrong normalizationSystem FCPS-translationpermutative reductions

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40) Complexity of proofs (03F20)

Related Items (2)

Strong normalization results by translation ⋮ Unnamed Item

This page was built for publication: Short Proofs of Strong Normalization