Abstract
We propose a new definition of higher-order DisCoCat (categoricalcompositional distributional) models where the meaning of a word is not adiagram, but a diagram-valued higher-order function. Our models can be seen asa variant of Montague semantics based on a lambda calculus where the primitivesact on string diagrams rather than logical formulae. As a special case, we showhow to translate from the Lambek calculus into Peirce's system beta forfirst-order logic. This allows us to give a purely diagrammatic treatment ofhigher-order and non-linear processes in natural language semantics: adverbs,prepositions, negation and quantifiers. The theoretical definition presented inthis article comes with a proof-of-concept implementation in DisCoPy, thePython library for string diagrams.