Book Details

978-3-540-68103-8

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

Publication year: 2008

ISBN: 978-3-540-68103-8

Internet Resource: Please Login to download book


The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics


Subject: Computer Science / algorithm / algorithms / finite / sets / formal methods /formal reasoning / formal specification / formal verification / higher-order logic / logic / polymorphism / program semantics / programming / programming language / programming the / verification / Software Engineering / Programming and Operating Systems / Logics and Meanings of Programs / Mathematical Logic and Formal Languages / Programming Languages, Compilers, Interpreters / Symbolic and Algebraic Manipulation / Artificial Intelligence