Pages that link to "Item:Q4482046"
From MaRDI portal
The following pages link to Some Additions to the Theory of Combinators (Q4482046):
Displaying 5 items.
- The search for a reduction in combinatory logic equivalent to \(\alpha\beta\)-reduction (Q654911) (← links)
- Abstraction problems in combinatory logic: A compositive approach (Q1262300) (← links)
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020) (← links)
- Consistency and completeness of the theory of combinators (Q5834320) (← links)
- New sets of postulates for combinatory logics (Q5845640) (← links)