Extensional Constructs in Intensional Type Theory - Distinguished Dissertations - Martin Hofmann - Books - Springer London Ltd - 9781447112433 - September 22, 2011
In case cover and title do not match, the title is correct

Martin Hofmann
Extensional Constructs in Intensional Type Theory - Distinguished Dissertations Softcover reprint of the original 1st ed. 1997 edition

Price
R$ 814.90
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 4 - 16
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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).

216 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 22, 2011
ISBN13 9781447112433
Publishers Springer London Ltd
Pages 216
Dimensions 155 × 235 × 12 mm   ·   331 g
Language English  
Show all

More by Martin Hofmann

See all of Martin Hofmann ( e.g. Paperback Book , CD , Hardcover Book and Book )