tech,5-2-E93-1004,ak | motivation for introducing these <term> | languages | </term> is to provide tools for formalising | #24684 The motivation for introducing these languages is to provide tools for formalising grammatical frameworks perspicuously, and the paper illustrates this by showing how the leading ideas of GPSG can be captured in LT (LF). |