Types for Proofs and Programs
Publication year: 2006
: 978-3-540-31429-5
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.
: 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
