2 search results for "author:"Houda Anoun <anoun@labri.fr>""

Showing 1 - 2
  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
  2. coq-lambek

    No documentation

    A Coq Toolkit for Lambek Calculus
    keyword: Computational linguistic keyword: categorial grammar keyword: Lambek calculus... category: Computer Science/Formal Languages Theory and Automata date: March-July 2003
    Houda Anoun <anoun@labri.fr> Pierre Castéran <casteran@labri.fr>
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019