Types for proofs and programs : international conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007: revised selected papers / ed. M. Miculan, 2008 r=on-line. - Текст : электронный.
Приложение
для Android