Scan barcode
216 pages • missing pub info (editions)
ISBN/UID: 9781447112433
Format: Paperback
Language: English
Publisher: Springer
Publication date: 22 September 2011
Description
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 reconci...
Community Reviews
Content Warnings
216 pages • missing pub info (editions)
ISBN/UID: 9781447112433
Format: Paperback
Language: English
Publisher: Springer
Publication date: 22 September 2011
Description
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 reconci...
Community Reviews
Content Warnings