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
International Migration, Social Demotion, and Imagined Advancement
$39.99
Beginning Windows 8 Application Development - XAML Edition
$29.99
Jumpstart Snowflake
$54.99
Paroxysmal Nocturnal Hemoglobinuria and Related Disorders
$109.99
Lactic Acid Bacteria
$149.00
The New Users Guide to the Sun Workstation
$109.99
Extinctions in Near Time
$219.99
High Speed LAN Technology Handbook
$109.99
Rhinology and Facial Plastic Surgery
$219.99
Control and Performance in Packet, Circuit, and ATM Networks
$169.99
History of Industrial Gases
$129.00
Frontiers in Modeling and Control of Breathing
$219.99
Learning Environments
$109.99
Ethnic Nationalism and State Power
$129.00
Challenges and Solutions Against Visceral Leishmaniasis
$199.99
Psychoanalyzing Cinema
$54.99
Artificial Neural Networks
$119.99
The Essence of Computation
$39.99
The Planiverse
$44.99
Discerning the Powers in Post-Colonial Africa and Asia
$54.99
Making Universities Matter
$59.99
Gelder rudolphe bres din part 2
$74.99
Psychiatrie und Psychotherapie des Kindes- und Jugendalters
$299.99
Advances in Computational Intelligence
$49.99
Kugel- und Rollenlager (Wlzlager)
$59.99
Numerik-Algorithmen
$89.99
Advances in Body Area Networks I
$169.99
Product Policy in Europe: New Environmental Perspectives
$84.99
Transactions on Large-Scale Data- and Knowledge-Centered Systems
$69.99
Handbook of Image Processing and Computer Vision
$249.99
Nachhaltige Gestaltung von lokalen Ernhrungssystemen durch Kommunalpolitik und -verwaltung
$49.99
Genital Autonomy:
$129.00
Die Maschinenarbeit in deutschen Bankbetrieben
$59.99
Structure Reports for 1975
$54.99
The Palgrave Handbook of Global Health Data Methods for Policy and Practice
$219.99
Basic and Applied Aspects of Noise-Induced Hearing Loss
$84.99
The Court of Justice of the European Coal and Steel Community
$54.99
Flow and Transport in Fractured Porous Media
$169.99
Inszenierung und Optimierung des Selbst
$44.99
Continuous and Discrete Dynamics near Manifolds of Equilibria
$29.99
