Pages that link to "Item:Q5269006"

The following pages link to Classical lambda calculus in modern dress (Q5269006):

Displaying 4 items.

• Towards a notion of lambda monoid (Q280190) (← 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)