Pages that link to "Item:Q1349878"
From MaRDI portal
The following pages link to Lambda terms definable as combinators (Q1349878):
Displaying 6 items.
- A notation for lambda terms. A generalization of environments (Q1129257) (← links)
- The systematic construction of a one-combinator basis for lambda-terms (Q1203131) (← links)
- Proof finding algorithms for implicational logics (Q1575928) (← links)
- Expedited Broda-Damas bracket abstraction (Q2710613) (← links)
- Equational Reasoning with Applicative Functors (Q2829262) (← links)
- Ticket Entailment is decidable (Q4925031) (← links)