# On reversible Turing machines and their function universality

• Published 2015 in Acta Informatica

#### Abstract

We provide a treatment of the reversible Turing machines (RTMs) under a strict function semantics. Unlike many existing reversible computation models, we distinguish strictly between computing the function $$\lambda x.f(x)$$ λ x . f ( x ) and computing the function $$\lambda x. (x, f(x))$$ λ x . ( x , f ( x ) ) , or other injective embeddings of f. We… (More)
DOI: 10.1007/s00236-015-0253-y