Types for proofs and programs : International conference, TYPES 2007 : Cividale del Friuli, Italy, may 2-5, 2007 : revised selected papers / Marino Miculan, Ivan Scagnetto, Furio Honsell (Eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer, copyr. 2008
ISBN
978-3-540-68084-0
Descrizione fisica
VI, 202 p. ; 24 cm
Collana
Lecture notes in computer science ; 4941
Disciplina
004
Soggetti
Informatica - Congressi - Cividale del Friuli - 2007