Pages that link to "Item:Q5704007"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704007):
Displaying 15 items.
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic (Q1375747) (← links)
- Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus (Q1853595) (← links)
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
- Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus (Q2129992) (← links)
- Classical \(F_{\omega}\), orthogonality and symmetric candidates (Q2482840) (← links)
- Why the usual candidates of reducibility do not work for the symmetric \(\lambda\mu\)-calculus (Q2851698) (← 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)
- Foundations of Software Science and Computation Structures (Q5308466) (← links)
- Computational and Information Science (Q5491619) (← links)
- (Q5714454) (← links)
- Normalization in the simply typed -calculus (Q5889885) (← links)
