The following pages link to (Q4385533):
Displayed 10 items.
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- A variadic extension of Curry's fixed-point combinator (Q812092) (← links)
- Computing abstract decorations of parse forests using dynamic programming and algebraic power series (Q1129128) (← links)
- Call-by-name, call-by-value and the \(\lambda\)-calculus (Q1225449) (← links)
- Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Abstract data type systems (Q1391729) (← links)
- Alpha-conversion and typability (Q1854262) (← links)
- Decidability of bounded higher-order unification (Q2456577) (← links)
- Precedence-inclusion patterns and relational learning (Q2566294) (← links)