Title: Type-theoretical grammar
First published: 1994
Subjects: Comparative and general Grammar, Grammar, Comparative and general, Logic, Semantics (Philosophy), Type theory
LC classification: P151 .R25 1994