Words, free algebras, and coequalizers
From MaRDI portal
Publication:3329520
Recommendations
Cited In (9)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- A class of higher inductive types in Zermelo‐Fraenkel set theory
- Well-foundedness in realizability
- Semantics of higher inductive types
- FREE ALGEBRAS—ARE THEY CATEGORICALLY DEFINABLE?
- Quotients, inductive types, and quotient inductive types
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
This page was built for publication: Words, free algebras, and coequalizers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3329520)