Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers

by J. Filliatre

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

• Format: Paperback
• Language: English
• ISBN: 3540314288
• ISBN13: 9783540314288
• Release Date: January 2006
• Publisher: Springer
• Length: 280 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"