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
Physik in Streifzgen
$59.99
Non-Coding RNAs
$109.99
Blunt Abdominal Trauma in Children
$39.99
Parameter Estimation of Nonlinear Random by Scattered Electromagnetic Fields
$159.99
Urbanitt und Egonetzwerke in der Stadt
$49.99
Information Systems Development for Decentralized Organizations
$169.00
Project Management Handbook
$69.99
Black Holes in Binaries and Galactic Nuclei: Diagnostics, Demography and Formation
$39.99
Scatter Search
$84.99
Strategische Unternehmensentwicklung
$59.99
Die Nachfolge im Familienunternehmen ganzheitlich regeln
$69.99
How to Label a Graph
$64.99
The Renaissance
$29.99
Multi-Level Decision Making
$109.99
New Research and Possibilities in Wellbeing Education
$119.00
Cancer Policy: Research and Methods
$169.00
The Sexuality-Reproduction Nexus and the Three Demographic Transitions
$54.99
Anatomie des Menschen ein Lehrbuch fr Studierende und rte
$69.95
Dependable Systems: Software, Computing, Networks
$54.99
Intelligent Virtual Agents
$54.99
European Yearbook of International Economic Law 2019
$179.99
Finite Element Analysis of Hyperbolic Cooling Towers
$109.99
Hegemony and Fantasy in Irish Drama, 1899-1949
$54.99
Harry Potter and the Deathly Hallows (Hardcover)
$28.49
Romanian-Finnish Seminar on Complex Analysis
$54.99
Was tun, wenn die Zinsen steigen
$44.99
Neoliberal Australia and US Imperialism in East Asia
$54.99
Artificial Intelligence. An International Perspective
$39.99
Mathematical Modelling of Haemodialysis
$109.99
Theoretische Festkrperphysik Band 1
$49.99
The Palgrave Handbook of Contemporary Geopolitics
$449.99
Sexueller Missbrauch Mediendarstellung und Medienwirkung
$49.99
Relativistic Heavy-Particle Collision Theory
$109.99
Research Methodologies and Ethical Challenges in Digital Migration Studies
$59.99
The Governmentality of Black Beauty Shame
$54.99
Non-Conventional Preference Relations in Decision Making
$54.99
Von der Erkenntniskritik zur Kritischen Theorie der Gesellschaft
$59.99
Programmieren in C++
$39.99
Cellular Signaling in Health and Disease
$169.99
The Belt and Road Initiative and the Politics of Connectivity
$109.99
