Pages that link to "Item:Q853747"
From MaRDI portal
The following pages link to Pseudo-distributive laws and axiomatics for variable binding (Q853747):
Displaying 8 items.
- Modules over monads and initial semantics (Q964503) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Algebras versus coalgebras (Q2426119) (← links)
- A unified framework for notions of algebraic theory (Q4972696) (← links)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- The existential completion (Q5129224) (← links)
- On the formal theory of pseudomonads and pseudodistributive laws (Q5150014) (← links)
- Abstract Syntax: Substitution and Binders (Q5262926) (← links)
