Pages that link to "Item:Q2785671"
From MaRDI portal
The following pages link to Strong normalization of substitutions (Q2785671):
Displaying 10 items.
- A note on preservation of strong normalisation in the \(\lambda \)-calculus (Q631760) (← links)
- Categorical abstract machines for higher-order typed \(\lambda\)-calculi (Q1349667) (← links)
- Normalisation for higher-order calculi with explicit substitutions (Q1770414) (← links)
- Formalizing strong normalization proofs of explicit substitution calculi in ALF (Q1810858) (← links)
- Proof of termination of the rewriting system SUBSET on CCL (Q1822494) (← links)
- Higher-order substitutions (Q1854398) (← links)
- (Q3044339) (← links)
- (Q3490081) (← links)
- Explicit Substitutions à la de Bruijn (Q4924548) (← links)
- Functional and Logic Programming (Q5308025) (← links)