vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Write the two definitions of FSMG and assert their universal properties #10

Closed vikraman closed 3 years ago