Computational types from a logical perspective

BENTON, P. N., BIERMAN, G. M., DE PAIVA, V. C. V.·1998·Journal of Functional Programming
DOI 10.1017/s0956796898002998