1. Carpenter, B.: Type-Logical Semantics. MIT Press, Cambridge, MA (1997)
2. Moot, R., Retoré, C.: The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics, Lecture Notes in Computer Science, vol. 6850. Springer, Berlin (2012). https://doi.org/10.1007/978-3-642-31555-8
3. Morrill, G.V.: Categorial Grammar: Logical Syntax, Semantics, and Processing. Oxford University Press, Oxford (2011)
4. Morrill, G.: Parsing/theorem-proving for logical grammar CatLog3. J. Logic, Lang., Inf. 28, 183–216 (2019). https://doi.org/10.1007/s10849-018-09277-w
5. Moot, R.: Grail: an interactive parser for categorial grammars. In: Proceedings of VEXTAL’99, pp. 255–261. University Ca’ Foscari, Venice (1999). https://www.labri.fr/perso/moot/vextal.pdf