Types for Proofs and Programs
Publication year: 2007
: 978-3-540-74464-1
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning
: Computer Science, Isabell, Isabelle, algorithms, formal methods, formal reasoning, formal verification, functional programming, higher order logic, logic, programming, programming language, subtyping, type systems, types, verification
