Grail
From MaRDI portal
Cited in
(12)- Grail
- Non-associative, non-commutative multi-modal linear logic
- Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\)
- Natural language semantics and computability
- CatLog
- CatLog3
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- LinearOne
- MASTRO
- Subexponentials in non-commutative linear logic
- A categorial type logic
- A faithful representation of non-associative Lambek grammars in abstract categorial grammars
This page was built for software: Grail
