Types for Proofs and Programs: Revised Selected Papers/International Conference, TYPES 2008. Cividale del Friuli, Italy, May 2007

Б2.33, В2.11.

Types for Proofs and Programs: Revised Selected Papers/International Conference, TYPES 2008. Cividale del Friuli, Italy, May 2007Ed. by Miculan M., Scagnetto I., Honsell F..-Berlin, Heidelberg., 2007.-Vol. 4941.-203 p.-(Lecture Notes in Computer Science).