The following pages link to (Q3708774):
Displaying 6 items.
- \(\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)
- Third order matching is decidable (Q1337691) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- (Q5028439) (← links)
