Pages that link to "Item:Q5680100"
From MaRDI portal
The following pages link to A simplification of combinatory logic (Q5680100):
Displayed 4 items.
- An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators (Q1080843) (← links)
- Call-by-name, call-by-value and the \(\lambda\)-calculus (Q1225449) (← links)
- Predicate calculus and naive set theory in pure combinatory logic (Q3926550) (← links)
- Call-by-value combinatory logic and the lambda-value calculus (Q6171751) (← links)