Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces von Retoré, Christian

Volltext

Logical Aspects of Computational Linguistics: First International Conference, LACL '96 Nancy, France, September 23–25, 1996 Selected Papers von Retoré, Christian

Volltext

Natural Language Semantics and Computability von Moot, Richard, Retoré, Christian

Volltext

Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, le Croisic, France, June 27-29, 2001 : Proceedings von Goos, G, Hartmanis, J, van Leeuwen, J

Volltext

The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics von Moot, Richard

Volltext

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings von Amblard, Maxime, de Groote, Philippe, Pogodalla, Sylvain, Retoré, Christian

Volltext

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases von Retoré, Christian

Volltext

Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm von Mirzapour, Mehdi, Retoré, Christian

Volltext

An outline of type-theoretical approaches to lexical semantics von Cooper, Robin, Retoré, Christian

Volltext

Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most von Retore, Christian

Volltext

Category theory, logic and formal linguistics: Some connections, old and new von Gillibert, Jean, Retoré, Christian

Volltext

Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis von Lafourcade, Mathieu, Mery, Bruno, Mirzapour, Mehdi, Moot, Richard, Retoré, Christian

Volltext

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Volltext

Quantification in Ordinary Language and Proof Theory von Abrusci, Michele, Pasquali, Fabio, Retoré, Christian

Volltext

Derivational minimalism von Stabler, Edward

Volltext

Handsome proof-nets: perfect matchings and cographs von RETORE, Christian

Volltext

Towards a Type-Theoretical Account of Lexical Semantics von Bassac, Christian, Mery, Bruno, Retoré, Christian

Volltext

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars von Retoré, Christian, Salvati, Sylvain

Volltext

Measuring Linguistic Complexity: Introducing a New Categorial Metric von Mirzapour, Mehdi, Prost, Jean-Philippe, Retoré, Christian

Volltext

Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types von Mery, Bruno, Moot, Richard, Retoré, Christian

Volltext