Anne Preller

According to our database, Anne Preller authored at least 19 papers between 1975 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Natural language semantics in biproduct dagger categories.

Anne Preller

J. Appl. Log., 2014

2013

From Logical to Distributional Models.

Anne Preller

Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013

From Sentence to Concept.

Anne Preller

Proceedings of the Quantum Physics and Linguistics, 2013

2011

Semantic Vector Models and Functional Models for Pregroup Grammars.

Anne Preller, Mehrnoosh Sadrzadeh

J. Log. Lang. Inf., 2011

2009

Bell States and Negative Sentences in the Distributed Model of Meaning.

Anne Preller, Mehrnoosh Sadrzadeh

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

2007

Linear Processing with Pregroups.

Anne Preller

Stud Logica, 2007

Editorial Introduction.

Wojciech Buszkowski, Anne Preller

Stud Logica, 2007

Free compact 2-categories.

Anne Preller, Joachim Lambek

Math. Struct. Comput. Sci., 2007

Toward discourse representation via pregroup grammars.

Anne Preller

J. Log. Lang. Inf., 2007

2005

Efficiency of Pregroups and the French Noun Phrase.

Sylvain Degeilh, Anne Preller

J. Log. Lang. Inf., 2005

Category Theoretical Semantics for Pregroup Grammars.

Anne Preller

Proceedings of the Logical Aspects of Computational Linguistics, 2005

1999

Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T.

Anne Preller, Patrice Duroux

RAIRO Theor. Informatics Appl., 1999

1998

Logic for Nested Graphs.

Anne Preller, Marie-Laure Mugnier, Michel Chein

Comput. Intell., 1998

1996

Functional Completeness of the Free Locally Cartesian Closed Category an Interpretations of Martin-Löf's Theory of Dependent Types.

Anne Preller, Geneviève Simonet

Math. Struct. Comput. Sci., 1996

The Universe of Discourse of Modal Logic.

Anne Preller

J. Appl. Non Class. Logics, 1996

1992

An Interpretation of Martin-LöF's Constructive Theory of Types in Elementary Topos Theory.

Anne Preller

Math. Log. Q., 1992

1988

Intensional Equality in Categories With Structure and Coherence Problems.

Anne Preller, N. Lafaye de Micheaux

Math. Log. Q., 1988

1985

A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models.

Anne Preller

Math. Log. Q., 1985

1975

Lawvere's Basic Theory of the Category of Categories.

Georges Blanc, Anne Preller

J. Symb. Log., 1975