Extensional Constructs in Intensional Type Theory

by Martin Hofmann

Book Overview

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1447112431
• ISBN13: 9781447112433
• Release Date: September 2011
• Publisher: Springer
• Length: 216 Pages
• Weight: 0.73 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"