TY  - BOOK
AU  - Ranta, Aarne.
TI  -  Type-theoretical grammar
SN  - 019853857X
U1  - 415  20
PY  - 1994///
CY  - Oxford,  New York
PB  - Clarendon Press
KW  - Grammar, Comparative and general
KW  - Type theory
KW  - Semantics (Philosophy)
KW  - Logic
N1  - Includes bibliographical references (p. [211]-218) and indexes
ER  -