Poernomo I. Adapting proofs-as-programs : the curry-howard protocol / I. Poernomo, J. Crossley, M. Wirsing, 2005 r=on-line. - Текст : электронный.