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
- CatLog3
- LinearOne
- MASTRO
- Natural language semantics and computability
- Non-associative, non-commutative multi-modal linear logic
This page was built for software: Grail
