TY - DATA AU - Miculan,Marino AU - Scagnetto,Ivan AU - Honsell,Furio ED - SpringerLink (Online service) TI - Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers SN - 9783540681038 PY - 2008/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Logic design KW - Algebra KW - Data processing KW - Artificial intelligence KW - Computer Science KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Programming Languages, Compilers, Interpreters KW - Symbolic and Algebraic Manipulation KW - Artificial Intelligence (incl. Robotics) UR - http://dx.doi.org/10.1007/978-3-540-68103-8 ER -