Bindings-as-BNFs software on GitHub

Software OPEN SOURCE
  • Subject:
    arxiv: Mathematics::K-Theory and Homology | Quantitative Biology::Subcellular Processes | Mathematics::Algebraic Topology | Mathematics::Category Theory
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | Software_PROGRAMMINGLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS | ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION

Formalization Artifact for the paper "Bindings as Bounded Natural Functors"
Share - Bookmark