Type-theoretical grammar / Aarne Ranta. Oxford : Clarendon Press, 1994