Pages that link to "Item:Q2253182"
From MaRDI portal
The following pages link to Elements of a theory of algebraic theories (Q2253182):
Displayed 7 items.
- Towards a notion of lambda monoid (Q280190) (← links)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- Towards a homotopy domain theory (Q2700838) (← links)
- A unified framework for notions of algebraic theory (Q4972696) (← links)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- (Q5079757) (← links)
- Classical lambda calculus in modern dress (Q5269006) (← links)