| Publication | Date of Publication | Type |
|---|
From logical to distributional models
| 2021-06-29 | Paper |
Bell states and negative sentences in the distributed model of meaning
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Natural language semantics in biproduct dagger categories
Journal of Applied Logic | 2016-05-10 | Paper |
Semantic vector models and functional models for pregroup grammars
Journal of Logic, Language and Information | 2015-02-09 | Paper |
scientific article; zbMATH DE number 6296858 (Why is no real title available?)
| 2014-05-19 | Paper |
Toward discourse representation via pregroup grammars
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Editorial introduction to the special issue on categorial grammars and pregroups
Studia Logica | 2008-01-21 | Paper |
Linear processing with pregroups
Studia Logica | 2008-01-21 | Paper |
Free compact 2-categories
Mathematical Structures in Computer Science | 2007-06-04 | Paper |
Efficiency of pregroups and the French noun phrase
Journal of Logic, Language and Information | 2006-08-18 | Paper |
Logical Aspects of Computational Linguistics
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Normalisation of the TheoryTof Cartesian Closed Categories and Conservativity of ExtensionsT[x ofT]
RAIRO - Theoretical Informatics and Applications | 2000-05-17 | Paper |
Functional completeness of the free locally Cartesian closed category and interpretations of Martin-Löf's theory of dependent types
Mathematical Structures in Computer Science | 1996-11-18 | Paper |
The universe of discourse of modal logic
Journal of Applied Non-Classical Logics | 1996-06-09 | Paper |
AN INTERPRETATION OF MARTIN‐LÖF'S CONSTRUCTIVE THEORY OF TYPES IN ELEMENTARY TOPOS THEORY
Mathematical Logic Quarterly | 1994-11-03 | Paper |
Intensional Equality in Categories With Structure and Coherence Problems
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models
Mathematical Logic Quarterly | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3708403 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3620094 (Why is no real title available?)
| 1977-01-01 | Paper |
Lawvere's basic theory of the category of categories
Journal of Symbolic Logic | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3405930 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3328198 (Why is no real title available?)
| 1971-01-01 | Paper |
On the weak representability of \(\sigma\)-complete dimension complemented cylindric algebras
Algebra and Logic | 1971-01-01 | Paper |
Substitution algebras in their relation to cylindric algebras
Archiv für Mathematische Logik und Grundlagenforschung | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3290301 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3346349 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3289426 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3289478 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3280050 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3361878 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3231908 (Why is no real title available?)
| 1966-01-01 | Paper |
scientific article; zbMATH DE number 3235285 (Why is no real title available?)
| 1966-01-01 | Paper |
