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

Name: Extensional Constructs in Intensional Type Theory - Distinguished Dissertations
Price: 140.49 EUR
Availability: OutOfStock
Author: Martin Hofmann

Cena

€ 140,49

Objednané zo vzdialeného skladu

Očakávané doručenie 1. - 9. okt

Dostávajte upozornenia na nové nahrávky interpreta Martin Hofmann

Naši zákazníci hovoria:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa

Najvyššie hodnotenie na Trustpilot

Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Extensional Constructs in Intensional Type Theory - Distinguished Dissertations

Martin Hofmann

Softcover reprint of the original 1st ed. 1997 edition

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

Médium	Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané	22. septembra 2011
ISBN13	9781447112433
Vydavatelia	Springer London Ltd
Strany	216
Rozmery	155 × 235 × 12 mm · 331 g
Jazyk	Angličtina