Book Details

Types for Proofs and Programs

Publication year: 2006

ISBN: 978-3-540-31429-5

Internet Resource: Please Login to download book

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.

Subject: Computer Science, Coq, algorithm, calculus, formal methods, formal reasoning, formal verification, optimization, programming, programming language, programming theory, proof theory, proving, rewriting systems, subtyping, theorem proving