# Gradualizing the Calculus of Inductive Constructions

> Research article (ACM Transactions on Programming Languages and Systems, 2022) · cited 16× · AI/ML

**Wikidata**: [openalex:W4205625158](https://www.wikidata.org/wiki/openalex:W4205625158)  
**Source**: https://4ort.xyz/entity/gradualizing-the-calculus-of-inductive-constructions