swMATH24229MaRDI QIDQ35990FDOQ35990
Author name not available (Why is that?)
Official website: http://www.labri.fr/perso/moot/grail0.html
Cited In (12)
- Subexponentials in non-commutative linear logic
- A faithful representation of non-associative Lambek grammars in abstract categorial grammars
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\)
- A categorial type logic
- Grail
- CatLog
- Natural language semantics and computability
- CatLog3
- LinearOne
- MASTRO
- Non-associative, non-commutative multi-modal linear logic
This page was built for software: Grail
