Types for proofs and programs International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /

অনুযায়ী TYPES 2007, Miculan, Marino., Scagnetto, Ivan., Honsell, F.
প্রকাশিত c2008