You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

Optimal Unification of Infinite Sets of Types

Article type: Research Article

Authors: Marciniec, Jacek

Affiliations: Faculty of Mathematics and Computer Science, Adam Mickiewicz University, Umultowska 87, 61-614 Poznań, Poland

Abstract: 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.

Keywords: unification, learning, categorial grammar

Journal: Fundamenta Informaticae, vol. 62, no. 3-4, pp. 395-407, 2004

Received 21 October 2004
|
Accepted 21 October 2004
|
Published: 2004
Price: EUR 27.50
Show more