Pages that link to "Item:Q3593501"
From MaRDI portal
The following pages link to Arithmetical proofs of strong normalization results for symmetric lambda calculi (Q3593501):
Displaying 8 items.
- A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic (Q1375747) (← links)
- Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus (Q2129992) (← links)
- An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types (Q3612624) (← links)
- (Q4297174) (← links)
- (Q4472466) (← links)
- An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) (← links)
- Computational and Information Science (Q5491619) (← links)
- Normalization in the simply typed -calculus (Q5889885) (← links)
