Types for proofs and programs international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers - Miculan, Marino; Honsell, Furio; Scagnetto, Ivan.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Automatic theorem proving -- Congresses; Computer programs -- Congresses; Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation