search for books and compare prices
Extensional Constructs in Intensional Type Theory
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Hardcover
Book cover for 9783540761211
 
from Springer-Verlag New York Inc (March 1, 1997)
9783540761211 | details & prices | 214 pages | 6.50 × 9.75 × 1.00 in. | 1.10 lbs | List price $99.00
About: 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 verification).
Paperback
Book cover for 9781447112433
 
Reprint edition from Springer Verlag (July 31, 2012)
9781447112433 | details & prices | 228 pages | List price $149.00