The following pages link to Combinatory logic as monoids (Q4206708):
Displaying 5 items.
- Logical equations in monadic logic (Q843613) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- A foray into combinatory logic (Q1098335) (← links)
- Logics for classes of Boolean monoids (Q1876106) (← links)
- A basis result in combinatory logic (Q3824390) (← links)