The following pages link to (Q4323124):
Displaying 6 items.
- Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus (Q672060) (← links)
- A binary modal logic for the intersection types of lambda-calculus. (Q1427854) (← links)
- A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions (Q1850959) (← links)
- Normalization for the simply-typed lambda-calculus in Twelf (Q2871835) (← links)
- An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types (Q3612624) (← links)
- (Q4855295) (← links)