1 search result for "tag:"keyword:tree calculus""

Showing 1 - 1
  1. coq-tree-calculus

    No documentation

    A Coq library for tree calculus
    keyword:tree calculus keyword:reflective programs category:Computer Science/Lambda Calculi date:2020-09-20 logpath:Reflective
    Barry Jay
    1.0.0
    MIT
    Used by 0 other packages
    21 Sep 2020