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

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.

• | Author: Jean-Christophe Filliatre
• | Publisher: Springer
• | Publication Date: Jan 25, 2006
• | Number of Pages: 280 pages
• | Binding: Paperback or Softback
• | ISBN-10: 3540314288
• | ISBN-13: 9783540314288