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
Technologies for Modern Digital Entrepreneurship
$69.99
African American Characters Grades 3-5
$105.00
Seinsglaube in der Phnomenologie Edmund Husserls
$149.99
IT Controlling
$59.99
E-Health: Datenschutz und Datensicherheit
$39.99
Compromise and Resistance in Postcolonial Writing
$39.99
Electronic Markets
$39.99
Verification of Arms Reductions
$84.99
Psychologie fr Lehramtsstudierende
$14.99
Applied Stochastic Analysis
$39.99
Serous Effusions
$179.99
Meaning, Narrativity, and the Real
$54.99
Let's Imagine: What Will We Build Today?
$3.71
The Attribution of Blame
$109.00
Personalwirtschaftliches Rechnungswesen
$59.99
Teaching Harry Potter
$54.99
Ambidextrie in Netzwerken komplexer Produkte
$64.99
Modeling and Simulation of Infectious Diseases
$159.99
Acoustics and Vibration of Mechanical Structures AVMS-2021
$219.99
Sozialpolitik im Dritten Reich
$74.99
Normativity and Diversity in Family Law
$179.99
CONAT 2024 International Congress of Automotive and Transport Engineering
$219.99
Basic Cell Culture Protocols
$249.99
Evolution and Diversification of Land Plants
$109.99
Index Fund Management
$69.99
Foundations of Microsoft Expression Web
$39.99
Modern Trends in Applied Aquatic Ecology
$129.00
Ein Gang durch Biochemische Forschungsarbeiten
$59.99
Dark Humor in Films of the 1960s
$54.99
Einfhrung in die Rechtswissenschaft
$44.99
Brand Gender
$139.99
Subjunctive Reasoning
$84.99
Safety, Health and Welfare in Agriculture and Agro-food Systems
$229.00
Langston Hughes and the South African Drum Generation
$39.99
Fundamentals of Digital Electronics
$99.99
Grundriss der Histologie und Mikroskopischen Anatomie des Menschen
$59.99
Mesearch and the Performing Body
$54.99
Nutrition Management of Inherited Metabolic Diseases
$139.99
Air Pollution Modeling and Its Application XII
$219.99
Shadows of the Prophet
$249.99
