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