The Calculus of Constructions, documentation and user’s guide (1989)

by Gérard Huet