de Paiva. Computational types from a logical perspective (1995)

by P N Benton, G M Bierman, V C V