Some uses of type theory in the analysis of language - Rennie, M. K. (Monograph series (Australian National University. Department of Philosophy), 1974)