Sciweavers

73
Voted
CLA
2006
15 years 6 days 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