The following pages link to Christian Retoré (Q433865):
Displaying 26 items.
- The logic of categorial grammars. A deductive account of natural language syntax and semantics (Q433866) (← links)
- A faithful representation of non-associative Lambek grammars in abstract categorial grammars (Q972436) (← links)
- Introduction to the special issue on recent advances in logical and algebraic approaches to grammar (Q1280043) (← links)
- Handsome proof-nets: Perfect matchings and cographs (Q1398476) (← links)
- Generative grammars in resource logics (Q1768802) (← links)
- Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\) (Q2255237) (← links)
- Natural language semantics and computability (Q2425328) (← links)
- Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Q2921940) (← links)
- The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics (Q2968418) (← links)
- (Q2969777) (← links)
- (Q3024915) (← links)
- (Q3616726) (← links)
- (Q3629666) (← links)
- (Q3632309) (← links)
- (Q4222843) (← links)
- The mix rule (Q4302338) (← links)
- A semantic characterisation of the correctness of a proof net (Q4366767) (← links)
- (Q4370232) (← links)
- A complete axiomatisation for the inclusion of series-parallel partial orders (Q4594231) (← links)
- (Q4664258) (← links)
- (Q4939014) (← links)
- Pomset Logic (Q5014600) (← links)
- (Q5354752) (← links)
- Learning Lambek Grammars from Proof Frames (Q5414961) (← links)
- Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces (Q6657789) (← links)
- A proof-theoretical approach to some extensions of first order quantification (Q6736406) (← links)
