A modern perspective on type theory
Subtitle: from its origins until today
By: by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
Contributors: Laan, Twan.; Nederpelt, R. P.
Series: Applied logic series -- v. 29.
Publisher: Kluwer Academic Publishers
Published: 2004
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 357
Subjects: Type theory
Notes: Includes bibliographical references (p. 337-348) and indexes.