Machine -- Reversible Software and Languages Isomorphic Interpreters from Logically