Grammatical Framework: A Type-Theoretical Grammar Formalism

Grammatical Framework: A Type-Theoretical Grammar Formalism (2003)

by Aarne Ranta

Citations:

56 - 16 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Grammatical Framework: A Type-Theoretical Grammar Formalism	user correction - Legacy Corrections
AUTHOR NAME	Aarne Ranta	user correction - Legacy Corrections
ABSTRACT	Grammatical Framework (GF) is a special-purpose functional language for defining grammars. It uses a Logical Framework (LF) for a description of abstract syntax, and adds to this a notation for defining concrete syntax. GF grammars themselves are purely declarative, but can be used both for linearizing syntax trees and parsing strings. GF can describe both formal and natural languages. The key notion of this description is a grammatical object, which is not just a string, but a record that contains all information on inflection and inherent grammatical features such as number and gender in natural languages, or precedence in formal languages. Grammatical objects have a type system, which helps to eliminate run-time errors in language processing. In the same way as an LF, GF uses...	user correction - Legacy Corrections
YEAR	2003	user correction - Legacy Corrections
CITATIONS	61 found	ParsCit 1.0