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
