Pages that link to "Item:Q5741555"
From MaRDI portal
The following pages link to Modules over relative monads for syntax and semantics (Q5741555):
Displaying 7 items.
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- (Q5009703) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- (Q5089005) (← links)
- (Q5101336) (← links)
- Distributive laws for relative monads (Q6159707) (← links)
- The formal theory of relative monads (Q6496517) (← links)
