Erratum to ``Efficient inference of object types''
In ibid. 126, No. 1, 198-209 (1995; Zbl 0849.68018) a lemma and an example were missing.
scientific article; zbMATH DE number 896652