A Lattice Theoretic Approach to Computation Based on a Calculus of Partially Ordered Types (1984)

by H Ait-Kaci