Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers - TYPES 2004 (2004 : Jouy-en-Josas, France); Filliatre, Jean-Christophe.; Paulin-Mohring, Christine; Werner, Benjamin; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Automatic theorem proving -- Congresses; Computer programming -- 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