1
by Bertot, Yves, Castéran, Pierre
Published 2004
Springer Berlin Heidelberg
Table of Contents: '; ...1 A Brief Overview -- 2 Types and Expressions -- 3 Propositions and Proofs -- 4 Dependent Products...