Grammars and Types

==Historical introduction==

Stoics ?

Port-Royal ?

Lyons

Frege

Ajdukiewicz

Bar-Hillel

Lambek

Curry

Montague

PATR, HPSG

LFG

GF

ACG, HOG


==Syntactic and semantic grammars==

in GF

==Cross-linguistic types==

generalizations over type systems, parametrized modules


==Grammatical concepts formalized==

POS, category

inherent and parametric features

agreement

rection

endocentric and exocentric concepts

(see Lyons and Jespersen for more)

a core syntax (latin.gf)

