3 search results for "author:"Bruno Barras""

Showing 1 - 3
  1. coq-coq-in-coq

    No documentation

    A formalisation of the Calculus of Construction
    keyword: calculus of constructions category: Mathematics/Logic/Type theory category: Miscellaneous/Extracted Programs/Type checking unification and normalization
    Bruno Barras
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-paradoxes

    No documentation

    Paradoxes in Set Theory and Type Theory
    keyword: Reynolds paradox keyword: Burali-Forti paradox keyword: Diaconescu paradox keyword: set theory keyword: system U keyword: inconsistency keyword: Hurkens paradox category: Mathematics/Logic/Foundations
    Bruno Barras Thierry Coquand Hugo Herbelin Benjamin Werner
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  3. coq-pts

    No documentation

    A formalisation of Pure Type Systems
    keyword: pure type systems keyword: metatheory category: Computer Science/Lambda Calculi date: 2007-03
    Bruno Barras
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019