3 search results for "tag:"keyword: Newman's lemma""

Showing 1 - 3
  1. coq-historical-examples

    No documentation

    Historical examples developed in the (pure) Calculus of Constructions
    keyword: Newman's lemma keyword: Tarski's fixpoint theorem keyword: line formatting keyword: binary-search paradigm keyword: square root approximation keyword: Calculus of Constructions keyword: history of Coq category: Miscellaneous/Coq Use Examples
    Gérard Huet Christine Paulin
    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
  3. coq-weak-up-to

    No documentation

    New Up-to Techniques for Weak Bisimulation
    keyword: weak bisimilarity keyword: weak bisimulation keyword: up-to techniques keyword: termination keyword: commutation keyword: Newman's lemma category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems date: 2005-02-22
    Damien Pous <damien.pous at ens-lyon.fr> [http://perso.ens-lyon.fr/damien.pous/]
    8.10.0
    GPL
    Used by 0 other packages
    07 Dec 2019