Optimal unification of infinite sets of types
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.
unification categorial grammar learning