search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link
agda category-theory monoidal-categories quantum-computing reversible-computation reversible-programming-language

readme

2DTypes

Build Status

Collaborative work on reversible computing and its relationship to Homotopy Type Theory. Drafts are available in releases.