An Algebraic Semantics Approach tothe Effective Resolution of Type Equations (1986)

by H Ait-Kaci
Venue:Journal of Theoretical Computer Science