Abstract
In categorial systems with a fixed structural component, the
learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural component is problematic
if one want to address issues of structural variation. Our starting point is
a type-logical architecture with separate modules for the logical and the
structural
... read more