Anne Preller

19 papers Journal 15Unranked 3
YearRankTypeTitle / Venue / Authors
2014 J jnl
Natural language semantics in biproduct dagger categories.
J. Appl. Log.
Anne Preller
2013 — conf
From Logical to Distributional Models.
QPL
Anne Preller
2013 — ch.
From Sentence to Concept.
Quantum Physics and Linguistics
Anne Preller
2011 J jnl
Semantic Vector Models and Functional Models for Pregroup Grammars.
J. Log. Lang. Inf.
Anne Preller, Mehrnoosh Sadrzadeh
2009 — conf
Bell States and Negative Sentences in the Distributed Model of Meaning.
QPL@MFPS
Anne Preller, Mehrnoosh Sadrzadeh
2007 J jnl
Editorial Introduction.
Stud Logica
Wojciech Buszkowski, Anne Preller
2007 J jnl
Free compact 2-categories.
Math. Struct. Comput. Sci.
Anne Preller, Joachim Lambek
2007 J jnl
Linear Processing with Pregroups.
Stud Logica
Anne Preller
2007 J jnl
Toward discourse representation via pregroup grammars.
J. Log. Lang. Inf.
Anne Preller
2005 — conf
Category Theoretical Semantics for Pregroup Grammars.
LACL
Anne Preller
2005 J jnl
Efficiency of Pregroups and the French Noun Phrase.
J. Log. Lang. Inf.
Sylvain Degeilh, Anne Preller
1999 J jnl
Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T.
RAIRO Theor. Informatics Appl.
Anne Preller, Patrice Duroux
1998 J jnl
Logic for Nested Graphs.
Comput. Intell.
Anne Preller, Marie-Laure Mugnier, Michel Chein
1996 J jnl
Functional Completeness of the Free Locally Cartesian Closed Category an Interpretations of Martin-Löf's Theory of Dependent Types.
Math. Struct. Comput. Sci.
Anne Preller, Geneviève Simonet
1996 J jnl
The Universe of Discourse of Modal Logic.
J. Appl. Non Class. Logics
Anne Preller
1992 J jnl
An Interpretation of Martin-LöF's Constructive Theory of Types in Elementary Topos Theory.
Math. Log. Q.
Anne Preller
1988 J jnl
Intensional Equality in Categories With Structure and Coherence Problems.
Math. Log. Q.
Anne Preller, N. Lafaye de Micheaux
1985 J jnl
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models.
Math. Log. Q.
Anne Preller
1975 J jnl
Lawvere's Basic Theory of the Category of Categories.
J. Symb. Log.
Georges Blanc, Anne Preller