Adgrams: Categories and Linguistics
Intuitionistic First-Order Logic: Categorical semantics via the Curry-Howard isomorphism