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

by H Ait-Kaci