.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Extensional Constructs in Intensional Type Theory
Martin Hofmann
€ 182.36
FREE Delivery in Ireland
Description for Extensional Constructs in Intensional Type Theory
paperback. Series: Distinguished Dissertations. Num Pages: 216 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 358.
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). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.
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). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer London Ltd United Kingdom
Number of pages
216
Condition
New
Series
Distinguished Dissertations
Number of Pages
216
Place of Publication
England, United Kingdom
ISBN
9781447112433
SKU
V9781447112433
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Extensional Constructs in Intensional Type Theory