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
Types for Proofs and Programs
Best Price (Coupon Required):
Buy Types for Proofs and Programs for $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994. The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory.
Reviews
Questions & Answers
Wirtschafts- und Verwaltungswissenschaften
$69.99
Landscape Ecology in Asian Cultures
$249.99
Methylotrophy and Methanogenesis
$39.99
Enterprise Applications and Services in the Finance Industry
$54.99
Arme und reiche Stdte
$44.99
Die Berechnung statisch unbestimmter Tragwerke nach der Methode des Viermomentensatzes
$59.99
Enterprise Interoperability IV
$169.99
Advances in Computational Intelligence
$109.99
Psychological Selection and Optimal Experience Across Cultures
$129.00
Werkzeugmaschinen Fertigungssysteme
$54.99
Mittleres Management
$59.99
Toward Social-Ecological Well-Being
$129.00
COVID-19 Critical and Intensive Care Medicine Essentials
$119.99
The Night I Forgot to Brush
$3.71
States of Brain and Mind
$54.99
Grundzge der Nichtlinearen Optimierung
$14.99
Handbook of the Psychology of Self-Forgiveness
$219.00
Online Communities and Crowds in the Rise of the Five Star Movement
$54.99
The Little Book of Cleaning Tips: A Guide to Keeping Your Space, Healthy, Tidy, & Calm by Leah N. Miles
$12.95
What Robots Can and Cant Be
$169.00
Taleworlds and Storyrealms
$169.99
The Political Role of Corporate Citizens
$39.99
Contesting Ethnoarchaeologies
$109.99
Verhaltenssteuerung, Recht und Privatautonomie
$109.00
International Environmental soft law
$109.99
Ultrasonography of the Upper Extremity: Elbow
$59.99
Smart Materials for Energy, Communications and Security
$219.99
Das Insolvenzverfahren
$59.99
Sustainable Development and Disaster Risk Reduction
$129.99
Vehicle and Automotive Engineering 4
$219.99
The Patentability of Synthetic Biology Inventions
$139.99
Historic Monuments of Mount Songshan
$169.99
Britain and UN Peacekeeping
$84.99
Advances in Cryptology - ASIACRYPT 2000
$39.99
Visual Power and Fame in Ren d'Anjou, Geoffrey Chaucer, and the Black Prince
$39.99
KMU- und Start-up-Management
$79.99
Effektiver und besser Fhren in Teilzeit
$34.99
Technology, Growth, and the Labor Market
$109.99
Ich bin kein Alkoholiker!
$59.99
Recent Advances in Nemertean Biology
$169.99
