The Calculus of Constructions, Documentation and user's guide, Version V4.10 (1989)

by G Huet ed
Venue:Rapport technique INRIA