Pages that link to "Item:Q4632448"
From MaRDI portal
The following pages link to Combining first order algebraic rewriting systems, recursion and extensional lambda calculi (Q4632448):
Displaying 12 items.
- Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus (Q672060) (← links)
- Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations (Q853738) (← links)
- Combining algebraic rewriting, extensional lambda calculi, and fixpoints (Q1349901) (← links)
- Developing developments (Q1392147) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- (Q4249892) (← links)
- (Q4281465) (← links)
- Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract) (Q5055860) (← links)
- System F i (Q5300891) (← links)
- (Q5369502) (← links)
- Termination of combined (rewrite and λ-calculus) systems (Q5881181) (← links)
- Rewriting with extensional polymorphic \(\lambda \)-calculus (Q6560170) (← links)