“Bi-Continuous Extensions of Invertible Combinatorial Functions”, 1981-12 (; backlinks):
We discuss and solve the problem of constructing a diffeomorphic componentwise extension for an arbitrary invertible combinatorial function.
Interpreted in physical terms, our solution constitutes a proof of the physical realizability of general computing mechanisms based on reversible primitives.