2 search results for "author:"Pierre Castéran <casteran@labri.fr>""

Showing 1 - 2
  1. coq-dictionaries

    No documentation

    Dictionaries (with modules)
    keyword: modules keyword: functors keyword: search trees category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures date: 2003-02-6
    Pierre Castéran <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