Extensional Constructs in Intensional Type Theory

Name: Extensional Constructs in Intensional Type Theory
Brand: Springer London Ltd
SKU: 9781447112433
Price: 147.34 EUR
Availability: InStock

Автор: Martin Hofmann

Език:

Корици: С меки корици

Издател: Springer London Ltd

Наличност: Външен склад

Изпращаме след 5-8 дни

147.34 € 288.18 лв

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa...

Информация за книгата

Автор

Martin Hofmann

Език

Английски език

Корици

Книга - С меки корици

Издадена

2011

страници

216

EAN

9781447112433

ISBN

1447112431

Enbook ID

06794662

Издател

Springer London Ltd

Теглоt

359

Размери

155 x 235 x 13

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Extensional Constructs in Intensional Type Theory

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също