%A H. Ait-kaci
%T A lattice theoretic approach to computation
based on a calculus of partially ordered type structures
%R Ph.D. thesis
%I University of Pennsylvania
%D 1984