A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series)

Name: A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series)
Author: F.D. Kamareddine, T. Laan, Rob Nederpelt
ISBN: 9781402023347

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

Publisher Springer

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

213.11 249.00 USD

🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $183.94

✓ Usually ships in 24 hours

Book Details

Author(s)F.D. Kamareddine, T. Laan, Rob Nederpelt

PublisherSpringer

ISBN / ASIN1402023340

ISBN-139781402023347

AvailabilityUsually ships in 24 hours

Sales Rank4,842,283

MarketplaceUnited States 🇺🇸

Description ▲

This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.