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
HEMT Technology and Applications
$199.99
Chemical Engineering for the Food Industry
$39.99
Re-imagining Professional Experience in Initial Teacher Education
$119.99
Arts Management and Cultural Policy Research
$99.00
Simulation, Modeling, and Programming for Autonomous Robots
$54.99
Exkludierende Solidaritt der Rechten
$64.99
Innovation Offshoring
$39.99
Biologic Therapy of Leukemia
$109.99
Die Autonomie von Landesorganisationen bei der Marktbearbeitung
$74.99
Business Regulation and Public Policy
$169.00
Scholastic Reader! Level 1: Hippo and Rabbit in Brave Like Me
$2.99
Discovering the Unique Geology of the Bergell Alps
$59.99
A History of Algebra
$109.00
Third European Rheology Conference and Golden Jubilee Meeting of the British Society of Rheology
$39.99
Artificial Neural Networks and Machine Learning ICANN 2023
$89.99
Change Management
$49.99
p-adic Numbers, p-adic Analysis, and Zeta-Functions
$84.99
Against Caste in British Law
$39.99
Super Diaper Baby 2: The Invasion of the Potty Snatchers (Hardcover)
$7.50
Invariant Probabilities of Markov-Feller Operators and Their Supports
$59.99
Software-Architekturen fr das E-Business
$39.99
Conservation in Chilean Patagonia
$59.99
PHP Objects, Patterns and Practice
$59.99
Foundations of Intelligent Systems
$54.99
The Jute Genome
$219.99
Elternschaft zwischen Projekt und Projektion
$69.99
Genome Data Analysis
$99.99
Functional Urban Areas in Poland
$84.99
Business Valuation
$49.99
Fundamentals of Computation Theory
$39.99
Alternative Routen in komplexen Umgebungen
$29.99
World Congress on Medical Physics and Biomedical Engineering September 7 - 12, 2009 Munich, Germany
$329.99
Nearly Pseudo-Khler Manifolds and Related Special Holonomies
$44.99
Literature 1989, Part 1
$84.99
The Dynamics of Green Innovation in B2B Industries
$39.99
When role-play comes alive
$119.99
Norbert Elias and Violence
$109.99
The Axis Vertebra
$39.99
Initial Results from the Fast Imaging Solar Spectrograph (FISS)
$109.99
Frdertechnik
$29.99
