A Modern Perspective on Type Theory: From Its Origins Until Today

by F.D. Kamareddine, T. Laan, Rob Nederpelt

Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis...

• Format: Paperback
• Language: English
• ISBN: 904816639X
• ISBN13: 9789048166398
• Release Date: October 2010
• Publisher: Springer
• Length: 360 Pages
• Weight: 1.16 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"