An algebraic semantics approach to the effective resolution of type equations (1986)

by H Ait-Kaci
Venue:Theor. Comput. Sci