Sciweavers

CLA
2006
13 years 6 months ago
Type Signature Induction with FCAType
Type signatures are common in modern linguistic theories. Their construction and maintenance is intricate, and therefore, an automatic induction method is desirable. In the present...
Wiebke Petersen