Pages that link to "Item:Q5958752"
From MaRDI portal
The following pages link to Primitive recursion for higher-order abstract syntax (Q5958752):
Displayed 3 items.
- A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. (Q1401936) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034) (← links)