Type-theoretical grammar - Ranta, Aarne (Oxford ; New York : Clarendon Press, 1994)
Includes bibliographical references (p. [211]-218) and indexes.
Keywords: Grammar, Comparative and general; Type theory; Semantics (Philosophy); Logic