The following pages link to Towards a notion of lambda monoid (Q280190):
Displaying 6 items.
- On the representation of semigroups and other congruences in the lambda calculus (Q1744394) (← links)
- An MU-analogue of the lambda algebra (Q1822093) (← links)
- Combinatory logic as monoids (Q4206708) (← links)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- On strictifying extensional reflexivity in compact closed categories (Q6612801) (← links)
- Clones, closed categories, and combinatory logic (Q6629524) (← links)