Extensional Constructs in Intensional Type Theory

Extensional Constructs in Intensional Type Theory
Author :
Publisher : Springer Science & Business Media
Total Pages : 221
Release :
ISBN-10 : 9781447109631
ISBN-13 : 1447109635
Rating : 4/5 (31 Downloads)

Book Synopsis Extensional Constructs in Intensional Type Theory by : Martin Hofmann

Download or read book Extensional Constructs in Intensional Type Theory written by Martin Hofmann and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 221 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Extensional Constructs in Intensional Type Theory Related Books

Extensional Constructs in Intensional Type Theory
Language: en
Pages: 221
Authors: Martin Hofmann
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
The Architecture and Archaeology of Modern Logic
Language: en
Pages: 505
Authors: Ansten Klev
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Logicism, Intuitionism, and Formalism
Language: en
Pages: 509
Authors: Sten Lindström
Categories: Mathematics
Type: BOOK - Published: 2008-11-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philoso
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Language: en
Pages: 195
Authors: Guy McCusker
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is a minor revision of the thesis submitted in August 1996; no major changes have been made. However, I would like to take this opportunity to mention
Extended Abstracts Fall 2013
Language: en
Pages: 110
Authors: Maria del Mar González
Categories: Mathematics
Type: BOOK - Published: 2015-11-13 - Publisher: Birkhäuser

DOWNLOAD EBOOK

The two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Geometric