Extensional Constructs in Intensional Type Theory
Author:   Martin Hofmann
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   Edition. ed.
Volume:   Vol 1
ISBN:  

9783540761211


Pages:   228
Publication Date:   March 1997
Format:   Hardback
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Our Price $211.07 Quantity:  
Add to Cart

Share |

Extensional Constructs in Intensional Type Theory


Overview

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.

Full Product Details

Author:   Martin Hofmann
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   Edition. ed.
Volume:   Vol 1
Weight:   0.505kg
ISBN:  

9783540761211


ISBN 10:   3540761217
Pages:   228
Publication Date:   March 1997
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now