Have one to sell? Sell yours here

Sorry, this item is not available in

Image not available for
Colour:

Image not available

Publisher: learn how customers can search inside this book.

Tell the Publisher!
I�d like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Extensional Constructs in Intensional Type Theory (Distinguished Dissertations) [Hardcover]

Martin Hofmann (Author)

Currently unavailable.
We don't know when or if this item will be back in stock.

Formats	Amazon Price		New from	Used from
Hardcover	--		--	--
Paperback	�68.40		--	--

Amazon.co.uk Trade-In Store
Did you know you can trade in your old books for an Amazon.co.uk Gift Card to spend on the things you want? Visit the Books Trade-In Store for more details. Learn more.

› See more product promotions

Book Description

Publication Date: 23 May 1997 | ISBN-10: 3540761217 | ISBN-13: 978-3540761211

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.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } 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.

Product details

Hardcover: 216 pages
Publisher: Springer (23 May 1997)
Language: English
ISBN-10: 3540761217
ISBN-13: 978-3540761211
Product Dimensions: 24.8 x 16.5 x 2.5 cm

Would you like to update product info or give feedback on images?

See Complete Table of Contents

More About the Author

› Visit Amazon's Martin Hofmann Page

Discover books, learn about writers, and more.

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

Customer Reviews

There are no customer reviews yet.

5 star

4 star

3 star

2 star

1 star

There are no customer reviews yet.

Write a customer review

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Customer Discussions

This product's forum

Discussion	Replies	Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Receive e-mail when new posts are made

Prompts for sign-in

Guidelines

Search Customer Discussions

Listmania!

Create a Listmania! list

Look for similar items by category

Feedback

Would you like to update product info or give feedback on images?
I am the Author, and I want to comment on my book.
I am the Publisher, and I want to comment on this book.