History and Philosophy of Constructive Type Theory

by Giovanni Sommaruga

Book Overview

A comprehensive survey of Martin-L f's constructive type theory, considerable parts of which have only been presented by Martin-L f in lecture form or as part of conference talks. Sommaruga surveys... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0792361806
• ISBN13: 9780792361800
• Release Date: July 2000
• Publisher: Springer
• Length: 367 Pages
• Weight: 1.62 lbs.
• Dimensions: 1.1" x 6.6" x 9.7"