The following pages link to A foray into combinatory logic (Q1098335):
Displaying 7 items.
- A case study in automated theorem proving: Finding sages in combinatory logic (Q1098333) (← links)
- The word problem for Smullyan's lark combinator is decidable (Q1114668) (← links)
- Implementing the `Fool's model' of combinatory logic (Q1181718) (← links)
- (Q3567776) (← links)
- A mechanical proof of the Church-Rosser theorem (Q3801105) (← links)
- A basis result in combinatory logic (Q3824390) (← links)
- Evolving combinators (Q5234723) (← links)