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
