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
A Global Casebook of Sexual Homicide
$54.99
Network Hacks - Intensivkurs
$59.99
Proceedings of International Joint Conference on Computational Intelligence
$169.00
Analysis for Science, Engineering and Beyond
$109.99
30 Years since the Fall of the Berlin Wall
$169.99
National Geographic Kids Readers: City and Country
$3.71
Tragwerke 2
$34.99
The Stability of a Macroeconomic System with Quantity Constraints
$54.99
God, Truth and Reality
$169.99
The Theory of the Top. Volume II
$119.00
Reflections on the Teaching of Programming
$39.99
Ancient Sedimentary Environments and the Habitats of Living Organisms
$84.99
Actuarial Aspects of Long Term Care
$159.99
Diabetic Foot Syndrome
$199.99
Wissensmanagement im ffentlichen Sektor
$74.99
Geometrical Optics of Inhomogeneous Media
$89.99
VLSI for Embedded Intelligence
$169.00
Foundations of Computational Linguistics
$79.99
Optimization Based Clearance of Flight Control Laws
$109.99
Learn Electronics with Raspberry Pi
$54.99
E-Manufacturing: Business Paradigms and Supporting Technologies
$84.99
Beginning SOLID Principles and Design Patterns for ASP.NET Developers
$89.99
Magic Tree House: #2 The Knight at Dawn
$5.21
El pjaro grun
$4.49
The Poetry of Life in Literature
$109.99
Chinese Railways
$169.99
Fundamentals of Single Cavitation Bubble Dynamics
$54.99
XXXIX. Internationales -Symposium 2022 Bremsen-Fachtagung
$119.99
Theoretical Computer Science
$79.99
Suchmaschinenmarketing in der Personalakquise
$17.99
Philosophy and Psychopathology
$54.99
Wissenschaftsjournalismus zwischen Elfenbeinturm und Boulevard
$34.99
Computer-Aided Transit Scheduling
$109.99
Biomanipulation Tool for Water Management
$329.99
Issues in Supportive Care of Cancer Patients
$129.00
Uncertainty and Graphing in Discovery Work
$109.99
Debt Deficit And Economic Performance
$59.99
Boys and Schooling
$54.99
Austrian Economic Perspectives on Individualism and Society
$39.99
Real Homotopy of Configuration Spaces
$64.99
