coquand1988-inductive-types

Coquand, T., & Paulin, C. (1988). Inductively defined types. Colog-88.