Skip to content
Home/ Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 199
Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 199

Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 199

No customer reviews yet ISBN 9783540651376 Springer

This book constitutes the thoroughly revised post-workshop proceedings of the first annual workshop held under the auspices of the ESPRIT Working Group 21900 TYPES in Aussois, France in December 1996.
The 18 revised full papers presented in the book were carefully reviewed and selected from the 30 papers accepted for presentation at the workshop. All current aspects of type theory and type systems and their applications to program verification and theorem proving are addressed; the proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL.

About the author

Product details

BrandSpringer
Pub dateOct 7, 1998
ISBN-103540651373
ISBN-139783540651376
LanguageEnglish
Dimensions9.25 × 0.88 × 6.1 in
Weight3 lb
Last updated 2026-06-14 04:44
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Computers | Machine Theory
See all
Hybrid Computational Intelligence: Challenges and Applications
<p><i>Hybrid Computational Intelligence: Challenges and Utilities </i>is a comprehensive resource that begins with the basics and main components of computational intelligence. It brings together many different aspects of the current research on HCI technologies, such as neural networks, support vector machines, fuzzy logic and evolutionary computation, while also covering a wide range of applications and implementation issues, from pattern recognition and system modeling, to intelligent control problems and biomedical applications. The book also explores the most widely used applications of hybrid computation as well as the history of their development. </p> <p>Each individual methodology provides hybrid systems with complementary reasoning and searching methods which allow the use of domain knowledge and empirical data to solve complex problems.</p>
$173.55
Discrete Mathematics
Biggs, Norman L
$115.52
Topology and Category Theory in Computer Science
This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offers a source of new problems with a practical flavor while stimulating original ideas and solutions. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.
$142.95
Philosophical Papers
Humphreys, Paul
$131.97
Discrete Mathematics for Computing (2008)
Grossman, Peter
$109.97
Machine Learning: A Probabilistic Perspective
Murphy, Kevin P
$156.23