1 search result for "tag:"keyword: higher-order logic""

Showing 1 - 1
  1. coq-icharate

    No documentation

    Icharate: A logical Toolkit for Multimodal Categorial Grammars
    keyword: multimodal categorial grammars keyword: syntax/semantics interface keyword: higher-order logic keyword: meta-linguistics category: Computer Science/Formal Languages Theory and Automata date: 2003-2006
    Houda Anoun <anoun@labri.fr> Pierre Casteran <casteran@labri.fr>
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019