Abstract
In the late Fifties, Jim Lambek has started a line of investigation that accounts for the composition of form and meaning in natural language in deductive terms: formal grammar is presented as a logic - a system for reasoning about the basic form/meaning units of language and the ways they
... read more
