Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Extensional Constructs in Intensional Type Theory
Best Price (Coupon Required):
Buy Extensional Constructs in Intensional Type Theory for $107.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$119.00 | $119.00 |
|
10% OFF
This deals requires coupon
|
$107.10 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Block Print for Beginners
$15.65
Machine Learning and Knowledge Discovery in Databases, Part II
$39.99
T.S. Eliot and the Failure to Connect
$54.99
Die politischen Systeme Osteuropas
$64.99
Advances in Nonlinear Dynamics
$259.00
Stochastic Dynamic Properties of Linear Econometric Models
$54.99
Teaching Graphic Novels in the English Classroom
$109.99
Whys and Hows in Uncertainty Modelling
$109.99
Social Fuzziology
$84.99
Topics in Matroid Theory
$54.99
Behavioural Business
$129.99
Efficient Topology Estimation for Scale Optical Mapping
$109.99
Essential Physical Medicine and Rehabilitation
$109.00
Value Engineering in Artificial Intelligence
$89.00
Flow and Transport in Fractured Porous Media
$169.99
Search for Supersymmetry in pp Collisions at s = 8 TeV with a Photon, Lepton, and Missing Transvers
$54.99
Landscapes of the Anthropocene with Google Earth
$149.00
Applications and Innovations in Intelligent Systems XVI
$129.00
Promoting Reproductive Security in Developing Countries
$129.00
Machine Learning and Big Data Analytics Paradigms: Analysis, Applications and Challenges
$219.99
How Do Dinosaurs: How Do Dinosaurs Get Well Soon?
$5.21
Dynamics of Combustion Systems
$169.99
The History and Sedimentology of Ancient Reef Systems
$129.00
Nonlinear Optics in Solids
$109.99
XII Symposium of Probability and Stochastic Processes
$109.00
Programming Languages and Systems
$54.99
US Poetry in the Age of Empire, 1979-2012
$39.99
Global Research of Cities
$39.99
Zahnrder
$84.99
The Epoch of Galaxy Formation
$39.99
The Material Family
$49.99
Affinity Biosensors
$84.99
Strategy and Sustainability
$49.99
Computerized Food Processing Operations
$39.99
Wild Ride (Hardcover)
$13.49
International Management in Service Firms
$129.99
The World Summit on Sustainable Development
$169.99
Mocktails, Cordials, Syrups, Infusions and More: Over 80 Delicious Recipes for Alcohol-Free Drinks by Ryland Peters &
$16.99
Theorizing Foreign Policy in a Globalized World
$39.99
Deep Space Flight and Communications
$219.99
