Extensional Constructs in Intensional Type Theory Image close
Extensional Constructs in Intensional Type Theory by Martin Hofmann
Extensional Constructs in Intensional Type Theory by Martin Hofmann
Show Hide Adult Content
Extensional Constructs in Intensional Type Theory close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming

Extensional Constructs in Intensional Type Theory

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$422.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $105.50 with Afterpay Learn more

6 weekly interest-free payments of $70.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Distinguished Dissertations

See all products in this series

Games and Full Abstraction for a Functional Metalanguage with Recursive Types on Hardback by Guy McCusker
$267.00
Games and Full Abstraction for a Functional Metalanguage with...
by Guy McCusker ~ Hardback
Available - Usually ships in 3-4 weeks
Asynchronous System-on-Chip Interconnect by John Bainbridge
$151.00
Asynchronous System-on-Chip Interconnect
by John Bainbridge ~ Paperback / softback
Available - Usually ships in 3-4 weeks
User-Developer Cooperation in Software Development by Eamonn O'Neill
$294.00
User-Developer Cooperation in Software Development
by Eamonn O'Neill ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Automated Theory Formation in Pure Mathematics on Hardback by Simon Colton
$320.00
Automated Theory Formation in Pure Mathematics
by Simon Colton ~ Hardback
Available - Usually ships in 3-4 weeks
Automated Theory Formation in Pure Mathematics by Simon Colton
$297.00
Automated Theory Formation in Pure Mathematics
by Simon Colton ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Inheritance Relationships for Disciplined Software Construction on Hardback by Tracy A. Gardner
$266.00
Inheritance Relationships for Disciplined Software Construction
by Tracy A. Gardner ~ Hardback
Available - Usually ships in 3-4 weeks
User-Developer Cooperation in Software Development on Hardback by Eamonn O'Neill
$298.00
User-Developer Cooperation in Software Development
by Eamonn O'Neill ~ Hardback
Available - Usually ships in 3-4 weeks
Stochastic Algorithms for Visual Tracking by John MacCormick
$293.00
Stochastic Algorithms for Visual Tracking
by John MacCormick ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Architecture-Independent Loop Parallelisation by Radu C. Calinescu
$293.00
Architecture-Independent Loop Parallelisation
by Radu C. Calinescu ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Randomized Algorithms: Approximation, Generation, and Counting by Russ Bubley
$293.00
Randomized Algorithms: Approximation, Generation, and Counting
by Russ Bubley ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia by Jacques Fleuriot
$293.00
A Combination of Geometry Theorem Proving and Nonstandard Analysis...
by Jacques Fleuriot ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Theorem Proving with the Real Numbers by John Harrison
$293.00
Theorem Proving with the Real Numbers
by John Harrison ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Games and Full Abstraction for a Functional Metalanguage with Recursive Types by Guy McCusker
$151.00
Games and Full Abstraction for a Functional Metalanguage with...
by Guy McCusker ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia on Hardback by Jacques Fleuriot
$303.00
A Combination of Geometry Theorem Proving and Nonstandard Analysis...
by Jacques Fleuriot ~ Hardback
Available - Usually ships in 3-4 weeks
Large Scale Collaborative Virtual Environments by Chris Greenhalgh
$293.00
Large Scale Collaborative Virtual Environments
by Chris Greenhalgh ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Accurate Visual Metrology from Single and Multiple Uncalibrated Images by Antonio Criminisi
$293.00
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
by Antonio Criminisi ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
September 22nd, 2011
Audience
  • Professional & Vocational
Edition
Softcover reprint of the original 1st ed. 1997
Illustrations
XII, 216 p.
Pages
216
Dimensions
156x234x12
ISBN-13
9781447112433
Product ID
20730793

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Martin Hofmann

See all books by this author

Automated Construction of XSL-Templates by Martin Hofmann
$139.00
Automated Construction of XSL-Templates
by Martin Hofmann ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Automatentheorie Und Logik on Paperback by Martin Hofmann
$106.00
Automatentheorie Und Logik
by Martin Hofmann ~ Paperback
Available - Usually ships in 3-4 weeks
Konzeption Eines Prozessinformations- Und -Managementsystems on Paperback by Martin Hofmann
$138.00
Konzeption Eines Prozessinformations- Und -Managementsystems
by Martin Hofmann ~ Paperback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation