Pages that link to "Item:Q4580223"

The following pages link to Heterogeneous Substitution Systems Revisited (Q4580223):

Displaying 2 items.

• From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
• C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)