A New Model of Computation Based on a Calculus of Type Subsumption (1985)

by H Ait-Kaci