A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series - Fairouz D. Kamareddine - Books - Springer - 9789048166398 - October 22, 2010
In case cover and title do not match, the title is correct

Fairouz D. Kamareddine
A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 2004 edition

Price
$ 137.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

374 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 22, 2010
ISBN13 9789048166398
Publishers Springer
Pages 374
Dimensions 156 × 234 × 19 mm   ·   526 g
Language English  

Mere med samme udgiver

See all of Fairouz D. Kamareddine ( e.g. Hardcover Book and Paperback Book )