Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Extensional Constructs in Intensional Type Theory

-15% su kodu: ENG15
201,57 
Įprasta kaina: 237,14 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
201,57 
Įprasta kaina: 237,14 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 237.1400 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 20,00 

Knygos aprašymas

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.

Informacija

Autorius: Martin Hofmann
Serija: Distinguished Dissertations
Leidėjas: Springer London
Išleidimo metai: 2011
Knygos puslapių skaičius: 232
ISBN-10: 1447112431
ISBN-13: 9781447112433
Formatas: 235 x 155 x 13 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Extensional Constructs in Intensional Type Theory“

Būtina įvertinti prekę