Type Theory and Formal Proof

By Herman Geuvers and Rob Nederpelt

Book Overview

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 110703650X
• ISBN13: 9781107036505
• Release Date: December 2014
• Publisher: Cambridge University Press
• Length: 466 Pages
• Weight: 2.37 lbs.
• Dimensions: 1.1" x 6.8" x 10.0"