search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Sketch the equivalence between M 1 and UFin #41

Open vikraman opened 3 years ago