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

by Hassan At-Kaci
Venue:Theoretical Computer Science