Fetching the paper…
Reading the bibliography…
The Distributional Compositional Categorical (DisCoCat) model is a mathematical framework that provides compositional semantics for meanings of natural language sentences.
A quasiarithmetical notation for syntactic description
Y. Bar-Hillel · 1953
Earlier work this paper cites.
L. Wittgenstein · 1953
Earlier work this paper cites.
A synopsis of linguistic theory 1930-1955, volume 1952-59
J.R. Firth · 1957
Earlier work this paper cites.
The mathematics of sentence structure
J. Lambek · 1958
Earlier work this paper cites.
Aspects of the Theory of Syntax, volume 119
N. Chomsky · 1965
Earlier work this paper cites.
Applications of negative dimensional tensors
R. Penrose · 1971
Earlier work this paper cites.
English as a formal language
R. Montague · 1974
Earlier work this paper cites.
Dialogue-games: metacommunication structures for natural language interaction
J. A. Levin and J. A. Moore · 1977
Earlier work this paper cites.
Dialogische Logik
P. Lorenzen and K. Lorenz · 1978
Earlier work this paper cites.
Algebra of Proofs, volume 88 of Studies in Logic and the Foundations of Mathematics
M. E. Szabo · 1978
Earlier work this paper cites.
Coherence for compact closed categories
M. Kelly and M. L. Laplaza · 1980
Earlier work this paper cites.
Categorial investigations: Logical and Linguistic Aspects of the Lambek Calculus
M. Moortgat · 1988
Earlier work this paper cites.
Topological quantum field theories
M. Atiyah · 1989
Earlier work this paper cites.
On some connections between logic and category theory
J. Lambek · 1989
Earlier work this paper cites.
The geometry of tensor calculus I
A. Joyal and R. Street · 1991
Earlier work this paper cites.
Proof nets for lambek calculus
D. Roorda · 1992
Earlier work this paper cites.
Lambek grammars are context free
M. Pentus · 1993
Earlier work this paper cites.
Explorations in Automatic Thesaurus Discovery
G. Grefenstette · 1994
Earlier work this paper cites.
Higher-dimensional algebra and topological quantum field theory
J. Baez and J. Dolan · 1995
Earlier work this paper cites.
On the semantic readings of proof nets
P. de Groote and C. Reotrè · 1996
Earlier work this paper cites.
Proof nets for the lambek calculus—an overview
F. Lamarche and C. Retoré · 1996
Cited alongside, same era.
Multimodal linguistic inference
M. Moortgat · 1996
Cited alongside, same era.
Game-theoretical semantics
J. Hintikka and G. Sandu · 1997
Cited alongside, same era.
Semantic similarity based on corpus statistics and lexical taxonomy
J.J. Jiang and D.W. Conrath · 1997
Cited alongside, same era.
A solution to Plato’s problem: the latent semantic analysis theory of acquisition, induction and representation of knowledge
T. K. Landauer and S. T. Dumais · 1997
Cited alongside, same era.
Conversational games, belief revision and bayesian networks
S. G. Pulman · 1997
Cited alongside, same era.
Pregroups with modalities
A. Kislak-Malinowska · 2006
Later among the works it cites.
Computational algebraic approaches to natural language
J. Lambek and C. Casadio, editors · 2006
Later among the works it cites.
Combining symbolic and distributional models of meaning
S. Clark and S. Pulman · 2007
Later among the works it cites.
Towards discourse representation via pregroup grammars
A. Preller · 2007
Later among the works it cites.
Free compact 2-categories
A. Preller and J. Lambek · 2007
Later among the works it cites.
Temperley-lieb algebra: from knot theory to logic and computation via quantum mechanics
S. Abramsky · 2008
Later among the works it cites.
A compositional distributional model of meaning
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Semantics and syntax in Lexical Functional Grammar: The resource logic approach
M. Dalrymple · 1999
Cited alongside, same era.
Type grammar revisited
J. Lambek · 1999
Cited alongside, same era.
Lambek grammars based on pregroups
W. Buszkowski · 2001
Cited alongside, same era.
The syntactic process
M. Steedman · 2001
Cited alongside, same era.
Proof Nets for Linguistic Analysis
R. Moot · 2002
Cited alongside, same era.
Proof nets for the multimodal lambek calculus
R. Moot and Q. Puite · 2002
Cited alongside, same era.
B. Coecke, M. Sadrzadeh, and S. Clark · 2008
Later among the works it cites.
From Word to Sentence
J. Lambek · 2008
Later among the works it cites.
Vector-based models of semantic composition
J. Mitchell and M. Lapata · 2008
Later among the works it cites.
Symmetric categorial grammar
M. Moortgat · 2009
Later among the works it cites.
Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, volume 5514 of Lecture Notes in Computer Science. Springer, 2009
H. Ono, M. Kanazawa, and R. de Queiroz, editors · 2009
Later among the works it cites.
Continuation semantics for the lambek-grishin calculus
R. Bernardi and M. Moortgat · 2010
Later among the works it cites.
Mathematical foundations for a compositional distributional model of meaning
B. Coecke, M. Sadrzadeh, and S. Clark · 2010
Later among the works it cites.
Bell states and negative sentences in the distributed model of meaning
A. Preller and M. Sadrzadeh · 2010
Later among the works it cites.
A survey of graphical languages for monoidal categories
P. Selinger · 2010
Later among the works it cites.
Physics, topology, logic, and computation: A rosetta stone
J. Baez and M. Stay · 2011
Later among the works it cites.
The displacement calculus
O. Valentin G. Morrill and M. Fadda · 2011
Later among the works it cites.
Experimental support for a categorical compositional distributional model of meaning
E. Grefenstette and M. Sadrzadeh · 2011
Later among the works it cites.
Experimenting with transitive verbs in a discocat
E. Grefenstette and M. Sadrzadeh · 2011
Later among the works it cites.