An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types
From MaRDI portal
Publication:3612624
DOI10.1007/978-3-540-73228-0_8zbMath1215.03022arXiv0905.1032MaRDI QIDQ3612624
Publication date: 10 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0905.1032
Related Items
An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus, Strong normalization results by translation