Pages that link to "Item:Q3612624"

The following pages link to An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types (Q3612624):

Displayed 2 items.

• Strong normalization results by translation (Q636353) ‎ (← links)
• An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) ‎ (← links)