Types for proofs and programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - TYPES 2008 (2008 : Torino, Italy); Berardi, Stefano; Damiani, Ferruccio; De'Liguoro, Ugo.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Automatic theorem proving -- Congresses; Computer programming -- Congresses; Artificial Intelligence (incl. Robotics); Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Computer Science; Logics and Meanings of Programs; Symbolic and Algebraic Manipulation