Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006: revised selected papers / ed. T. Altenkirch, 2007 r=on-line. - Текст : электронный.
Приложение
для Android