Book Details

Types for Proofs and Programs

Publication year: 2007

ISBN: 978-3-540-74464-1

Internet Resource: Please Login to download book


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


Subject: 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