A Modern Perspective on Type Theory
Subtitle: From its Origins until Today (Applied Logic Series)
Edition: 1 edition
Publisher: Springer
Published: June 9, 2004
Language: eng
Format: Hardcover
Number of pages: 371
ISBN-13: 9781402023347
Subjects: Mathematical logic; Type theory; Logic; Mathematics; Science/Mathematics; Computer Science; Computers-Computer Science; Mathematics / Logic; Philosophy-Logic
First sentence: The explicit and formal use of types (and thus an early form of what is presently called "type theory") was originally intended to prevent the paradoxes that occurred in logic and mathematics at the end of the 19th and the beginning of the 20th century.