Categories: Fscd 2016

Timany, Amin;
  • Publisher: Zenodo
  • Related identifiers: doi: 10.5281/zenodo.50689
  • Subject: zenodo | Category Theory | Universe Polymorphism | Uncategorized | Coq 8.5

<p>This is the version of the category theory&nbsp;development corresponding to the FSCD 2016 paper:</p> <p>Category Theory in Coq 8.5<br /> By Amin Timany and Bart Jacobs<br /> (to appear) in FSCD 2016,&nbsp;22-26 of June 2016, Porto, Portugal</p>
Share - Bookmark

  • Download from
    Zenodo via Zenodo (Software, 2016)
    figshare via figshare (Software, 2016)
  • Funded by
  • Related to
    FET FP7FET Open: FET Young Explorers
    FET FP7FET Open: Architecture-driven verification of systems software
  • Cite this software