Home
About Coq
Get Coq
Documentation
Community
The Coq Proof Assistant
Keyword: multimodal categorial grammars
Icharate
: Icharate: A logical Toolkit for Multimodal Categorial Grammars
Houda Anoun, Pierre Casteran