The following pages link to Anne Preller (Q280846):
Displaying 32 items.
- Natural language semantics in biproduct dagger categories (Q280847) (← links)
- Toward discourse representation via pregroup grammars (Q1006460) (← links)
- Semantic vector models and functional models for pregroup grammars (Q2255181) (← links)
- Editorial introduction to the special issue on categorial grammars and pregroups (Q2467211) (← links)
- Linear processing with pregroups (Q2467216) (← links)
- Efficiency of pregroups and the French noun phrase (Q2500780) (← links)
- On the weak representability of \(\sigma\)-complete dimension complemented cylindric algebras (Q2550390) (← links)
- Bell States and Negative Sentences in the Distributed Model of Meaning (Q2825369) (← links)
- Free compact 2-categories (Q3444644) (← links)
- A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models (Q3691901) (← links)
- Intensional Equality in Categories With Structure and Coherence Problems (Q3774045) (← links)
- (Q3900066) (← links)
- Lawvere's basic theory of the category of categories (Q4081249) (← links)
- (Q4183446) (← links)
- AN INTERPRETATION OF MARTIN‐LÖF'S CONSTRUCTIVE THEORY OF TYPES IN ELEMENTARY TOPOS THEORY (Q4295233) (← links)
- Functional completeness of the free locally Cartesian closed category and interpretations of Martin-Löf's theory of dependent types (Q4715672) (← links)
- Normalisation of the Theory<b>T</b>of Cartesian Closed Categories and Conservativity of Extensions<b>T</b>[<i>x</i>] of<b>T</b> (Q4718892) (← links)
- The universe of discourse of modal logic (Q4881434) (← links)
- (Q4997274) (← links)
- (Q5416218) (← links)
- (Q5519918) (← links)
- (Q5522970) (← links)
- (Q5565096) (← links)
- (Q5572324) (← links)
- (Q5573365) (← links)
- (Q5573416) (← links)
- (Q5606620) (← links)
- (Q5622189) (← links)
- Substitution algebras in their relation to cylindric algebras (Q5622190) (← links)
- (Q5635443) (← links)
- (Q5672896) (← links)
- Logical Aspects of Computational Linguistics (Q5706933) (← links)