Semantics of natural language

Lambda calculus for natural language

• Heim & Kratzer, 1998: Semantics in Generative Grammar
• Kracht, 2003: The Mathematics of Language (pdf)

Category theory for natural language

See categorial grammar page on nLab.

• Preller & Lambek, 2007: Free compact 2-categories (doi, pdf)
• Kartsaklis, 2015, PhD thesis: Compositional distributional semantics with compact closed categories and Frobenius algebras (arxiv)