Pages that link to "Item:Q2319990"
From MaRDI portal
The following pages link to From signatures to monads in \textsf{UniMath} (Q2319990):
Displaying 5 items.
- UniMath (Q27033) (← links)
- Formalization of universal algebra in Agda (Q2333322) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
- For Finitary Induction-Induction, Induction is Enough (Q6079233) (← links)