"An Algebraic Semantics Approach to the Effective Resolution of Type Equations."

Hassan Aït-Kaci (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics