The following pages link to (Q4435464):
Displaying 8 items.
- Computer theorem proving in mathematics (Q704001) (← links)
- Modules over monads and initial semantics (Q964503) (← links)
- From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
- Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)
- (Q5028480) (← links)
- Quotients of Bounded Natural Functors (Q5048992) (← links)
- Quotients by Idempotent Functions in Cedille (Q5098733) (← links)
- Quotients over Minimal Type Theory (Q5425354) (← links)
