Coquand's calculus of constructions: A mathematical foundation for a proof development system
scientific article; zbMATH DE number 97536