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
Civic Education and Competences forEngaging Citizens in Democracies
$49.99
Knowledge Engineering and Knowledge Management
$54.99
Quo vadis CIO?
$29.99
Theoretical and Practical Aspects of SPIN Model Checking
$39.99
Imperfekte Gerichte und Vertragstreue
$44.99
Geronimo Stilton: A Very Merry Christmas (#35)
$5.99
Vicia faba: Agronomy, Physiology and Breeding
$219.99
Produktionsplanung und -steuerung in strategischen Netzen
$79.99
Indian Spices
$129.99
Neurologic Stem Cell Surgery
$39.99
Proceedings of the Canadian Society of Civil Engineering Annual Conference 2021
$169.00
Make Your Own Slime
$6.71
Acute and Chronic Renal Failure
$39.99
Embedded Engineering Education
$84.99
Industrializing Additive Manufacturing
$279.99
Immunotherapy of Cancer
$129.00
The Challenge of Organising and Implementing Corporate Social Responsibility
$109.99
Gedchtnistraining
$9.99
Planning Universal On-Road Driving Strategies for Automated Vehicles
$59.99
Enterprise Application Integration
$69.99
Gene Conservation and Exploitation
$169.99
Cancer Biology and Therapeutics
$219.99
Bring the Magic Home: An Exploration of Design Inspired by Disney Parks Book
$40.00
Hand Function
$129.99
Combinatorial Optimization
$54.99
Partnerships and Foundations in Global Health Governance
$54.99
Praxiological Studies
$39.99
Wertewandel und Corporate Identity
$59.99
Solid Waste Engineering and Management
$169.99
IUTAM Symposium on Nonlinear Waves in Multi-Phase Flow
$169.99
High Performance Computing
$39.99
Climate Change Begins at Home
$29.99
Taking Nature Into Account
$24.99
New Trends in Allergy V
$169.99
Multirate Switched-Capacitor Circuits for 2-D Signal Processing
$169.99
Milk Goes to School
$5.96
New Perspectives on Intergovernmental Relations
$59.99
Untersuchungen ber das Lppen von Stirn- und Kegelrdern
$59.99
Chlamydia Atherosclerosis Lesion
$169.99
Fish Tank Friends: Do I Have to Go to the Party? (Hardcover)
$13.49
