Category Theory + NLP (Natural Language Processing)

List of papers and other resources at the intersection of Category Theory and NLP.

For CT + ML, there's another great resource here.

Please feel free to PR or email me if you have anything to add - there's much more to put in, will build as I have the time.

This will also be in a public Roam graph when they add more DBs/user.

• Papers
• People
• Projects
• Presentations

Papers

• On embedding Lambek calculus into commutative categorial grammars

  • Sergey Slavnov
  • Submitted: May 2020
  • Newest: Nov 2021

• Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications

  • Adriana D. Correia (Utrecht University), Henk T. C. Stoof (Utrecht University), Michael Moortgat (Utrecht University)
  • Submitted: Apr 2020
  • Newest: Sep 2021

• An enriched category theory of language: from syntax to semantics

  • Tai-Danae Bradley, John Terilla, Yiannis Vlassopoulos
  • Submitted: Jun 2021
  • Newest: Nov 2021

• Language Modeling with Reduced Densities

  • Tai-Danae Bradley, Yiannis Vlassopoulos
  • Submitted: Jul 2020
  • Newest: Jun 2021

• Vector Space Semantics for Lambek Calculus with Soft Subexponentials

  • Lachlan McPheat, Hadi Wazni, Mehrnoosh Sadrzadeh
  • Nov 2021

• The Logic for a Mildly Context-Sensitive Fragment of the Lambek-Grishin Calculus

  • Hiroyoshi Komatsu
  • Jan 2021

• Functorial Language Models

  • Alexis Toumi, Alex Koziell-Pipe
  • 2021

• Functorial Language Games for Question Answering

  • Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi
  • 2021

• A CCG-Based Version of the DisCoCat Framework

  • Richie Yeung
  • Dimitri Kartsaklis
  • 2021

• Logical foundations for hybrid type-logical grammars

  • Richard Moot (TEXTE, LIRMM, CNRS), Symon Stevens-Guille
  • Sep 2020

• A Frobenius Algebraic Analysis for Parasitic Gaps

  • Michael Moortgat, Mehrnoosh Sadrzadeh, Gijs Wijnholds
  • Jul 2020

• Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality

  • Lachlan McPheat, Mehrnoosh Sadrzadeh, Hadi Wazni, Gijs Wijnholds
  • Submitted: May 2020
  • Newest: Dec 2020

• Category Theory approach to interoperability

  • Riccardo Del Gratta
  • 2020

• Quantum Natural Language Processing on Near-Term Quantum Computers

  • Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni De Felice, Nicolò Chiappori, Alexis Toumi, Bob Coecke
  • 2020

• Foundations for Near-Term Quantum Natural Language Processing

  • 2020
  • Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi

• Incremental Monoidal Grammars

  • Dan Shiebler, Alexis Toumi, Mehrnoosh Sadrzadeh
  • 2020

• Monads for hyperintensionality? A situation semantics for hyperintensional side effects

  • Luke Burke
  • 2019

• Modelling Lexical Ambiguity with Density Matrices

  • Francois Meyer
  • Martha Lewis
  • 2019

• Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat

• Colin Zwanziger

• 2019

• Proceedings of the Sixth Workshop on Natural Language and Computer Science

  • Robin Cooper, Valeria de Paiva, Lawrence S. Moss (Editors)
  • 2019

• The 16th Meeting on the Mathematics of Language

  • 2019

• Internal Wiring of Cartesian Verbs and Prepositions

  • Bob Coecke
  • Martha Lewis
  • Dan Marsden
  • 2018

• Translating and Evolving: Towards a Model of Language Change in DisCoCat

  • Tai-Danae Bradley (Graduate Center, CUNY), Martha Lewis (ILLC, University of Amsterdam), Jade Master (Dept. Mathematics, UC Riverside), Brad Theilman (Gentner Lab, UC San Diego)
  • 2018

• Towards Compositional Distributional Discourse Analysis

  • Bob Coecke
  • Giovanni de Felice
  • Dan Marsden
  • Alexis Toumi
  • 2018

• Sense Contextualization in a Dependency-Based Compositional Distributional Model

  • Pablo Gamallo
  • 2017

• Interacting Conceptual Spaces I : Grammatical Composition of Concepts

  • 2017
  • Joe Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Robin Piedeleu

• Ambiguity and Incomplete Information in Categorical Models of Language

  • Dan Marsden
  • 2017

• Interacting Conceptual Spaces

  • Josef Bolt (Univesity of Oxford), Bob Coecke (Univesity of Oxford), Fabrizio Genovese (Univesity of Oxford), Martha Lewis (Univesity of Oxford), Daniel Marsden (Univesity of Oxford), Robin Piedeleu (Univesity of Oxford)
  • 2016

• Graded Entailment for Compositional Distributional Semantics

  • Dea Bankova
  • Bob Coecke
  • Martha Lewis
  • Dan Marsden
  • 2016

• A Vector Model for Type-Theoretical Semantics

  • Konstantin Sokolov
  • 2016

• Literal and Metaphorical Senses in Compositional Distributional Semantic Models

  • E. Dario Gutiérrez, Ekaterina Shutova, Tyler Marghetis, Benjamin Bergen
  • 2016

• Compositional Distributional Models of Meaning

  • Mehrnoosh Sadrzadeh
  • Dimitri Kartsaklis
  • 2016

• Dependency grammars as Haskell programs

  • Tomasz Obrębski
  • 2016

• Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning

  • Edward Grefenstette
  • Mehrnoosh Sadrzadeh
  • 2015

• Syntax-Aware Multi-Sense Word Embeddings for Deep Compositional Models of Meaning

  • Jianpeng Cheng
  • Dimitri Kartsaklis
  • 2015

• The 14th Meeting on the Mathematics of Language

  • 2015

• Frege in Space: A Program for Composition Distributional Semantics

  • Marco Baroni
  • Raffaella Bernardi
  • Roberto Zamparelli
  • 2014

• Incremental semantic scales by strings

  • Tim Fernando
  • 2014

• The Frobenius anatomy of word meanings I: subject and object relative pronouns

  • Mehrnoosh Sadrzadeh
  • Stephen Clark
  • Bob Coecke
  • 2014

• A Type-Driven Tensor-Based Semantics for CCG

  • Jean Maillard
  • Stephen Clark
  • Edward Grefenstette
  • 2014

• Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)

  • Robin Cooper, Simon Dobnik, Shalom Lappin, Staffan Larsson (Editors)
  • 2014

• From Natural Language to RDF Graphs with Pregroups

  • Antonin Delpeuch, Anne Preller
  • 2014

• Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors

  • Edward Grefenstette
  • 2013

• Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus

  • Bob Coecke
  • Edward Grefenstette
  • Mehrnoosh Sadrzadeh
  • 2013

• SEM 2013: The Second Joint Conference on Lexical and Computational Semantics

  • 2013

• A Comparison of Vector-based Representations for Semantic Composition

  • William Blacoe
  • Mirella Lapata
  • 2012

• A Unified Sentence Space for Categorical Distributional-Compositional Semantics: Theory and Experiments

  • Dimitri Kartsaklis
  • Mehrnoosh Sadrzadeh,
  • Stephen Pulman
  • 2012

• Experimental Support for a Categorical Compositional Distributional Model of Meaning

  • Edward Grefenstette
  • Mehrnoosh Sadrzadeh
  • 2011

• [Concrete Sentence Spaces for Compositional Distributional Models of Meaning]

  • Edward Grefenstette, Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke, Stephen Pulman
  • 2011

• Mathematical Foundations for a Compositional Distributional Model of Meaning

  • Mehrnoosh Sadrzadeh
  • Stephen Clark
  • Bob Coecke
  • 2010

• Pregroup Grammars and Chomsky’s Earliest Examples

  • Joachim Lambek
  • 2008

• Free Compact 2-Categories

  • Joachim Lambek
  • Anne Preller
  • 2005

• Using Linguistic Principles to Recover Empty Categories

  • Richard Campbell
  • 2004

• Parsing with polymorphism

  • Martin Emms
  • 1993

• Riddles: Accessibility and Knowledge Representation

  • Paul De Palma
  • 1992

• Lambek Theorem Proving and Feature Unification

  • Erik-Jan van der Linden
  • 1989

• A Formal Computational Semantics and Pragmatics of Speech Acts

  • Eric Werner
  • 1988

• Issues in Relating Syntax and Semantics

  • Daniel Jurafsky
  • 1988

• On Formal Versus Commonsense Semantics

  • David Israel
  • 1987

• Model Theoretic Semantics for Many-Purpose Languages and Language Hierarchies

  • H. Andreka
  • T. Gergely
  • 1980

Presentations

• Compositional distributional semantics for modelling natural language
  • Thomas Kober
  • 2017