Publication year: 2008
: 978-3-540-68103-8
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
: 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