Optimal Unification of Infinite Sets of Types
Jacek Marciniec · Fundamenta Informaticae · 2004
In this paper we focus on the properties of infinite sets of types that have finite substitutional images. Since the number of such images may be infinite, we provide the way of its reduction. Having this done, we apply the new methods in the field of learnability of classical categorial grammars.