The Calculus of Constructions: Documentation and user's guide (1989)

by Thierry Coquand, Gilles Dowek, G'erard Huet, Christine PaulinMohring
Venue:Projet Formel, INRIA-ENS