Types for Proofs and Programs
| Author | : Jean-Christophe Filliatre |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 282 |
| Release | : 2006-01-25 |
| ISBN-10 | : 9783540314288 |
| ISBN-13 | : 3540314288 |
| Rating | : 4/5 (288 Downloads) |
Book Synopsis Types for Proofs and Programs by : Jean-Christophe Filliatre
Download or read book Types for Proofs and Programs written by Jean-Christophe Filliatre and published by Springer Science & Business Media. This book was released on 2006-01-25 with total page 282 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.