Pages that link to "Item:Q1164619"
From MaRDI portal
The following pages link to On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems (Q1164619):
Displaying 7 items.
- Extensional models for polymorphism (Q749518) (← links)
- \(\lambda\)-definability of free algebras (Q803116) (← links)
- A characterization of lambda definable tree operations (Q918191) (← links)
- Word operation definable in the typed \(\lambda\)-calculus (Q1099156) (← links)
- Unification under a mixed prefix (Q1201348) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- Rewriting, and equational unification: the higher-order cases (Q5055746) (← links)