1 search result for "author:"Sylvain Heraud""

Showing 1 - 1
  1. coq-bellantonicook

    No documentation

    Deep embedding of Bellantoni and Cook's syntactic characterization of polytime functions
    category:Computer Science/Algorithms/Complexity keyword:implicit complexity keyword:polynomial time logpath:BellantoniCook date:2018-09-06
    Sylvain Heraud David Nowak
    1.0.0
    CeCILL-A
    Used by 1 other packages
    07 Sep 2018