History and philosophy of constructive type theory
By: by Giovanni Sommaruga.
Series: Synthese library -- v. 290
Publisher: Kluwer Academic Publishers
Published: 2000
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 354
Subjects: Type theory
Notes: Includes bibliographical references.