# Quotients, inductive types, and quotient inductive types

> Research article (Logical Methods in Computer Science, 2022) · cited 15× · AI/ML

**Wikidata**: [openalex:W3119184403](https://www.wikidata.org/wiki/openalex:W3119184403)  
**Source**: https://4ort.xyz/entity/quotients-inductive-types-and-quotient-inductive-types