search

vikraman / 2DTypes

Collaborative work on reversible computing
17 stars 1 forks source link

Everything reduces to an immersion of a Lehmer code #29

Closed inexxt closed 3 years ago

inexxt commented 3 years ago
  1. Shows that if something is a normal form (does not reduce any further), then it is an image of a Lehmer code.
  2. Shows that everything reduces to (images of) Lehmer codes.

Depends on #28