Type-theoretical grammar - Ranta, Aarne (Indices ;, 1994)