Types for proofs and programs : Intern.workshop TYPES'93,Nijmegen,The Netherlands,May 24-28 1993:Sel.papers / TYPES'93, 1994. - 383 p. - Текст : непосредственный.