2 search results for "author:"Amokrane Saïbi""

Showing 1 - 2
  1. coq-concat

    No documentation

    Constructive Category Theory
    keyword: category theory category: Mathematics/Category Theory
    Amokrane Saïbi
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-subst

    No documentation

    The confluence of Hardin-Lévy lambda-sigma-lift-calcul
    keyword: lambda-sigma-lift-calculus keyword: explicit substitution keyword: Newman's lemma keyword: Yokouchi's lemma keyword: confluence keyword: rewriting category: Computer Science/Lambda Calculi
    Amokrane Saïbi
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019