Reversible, Irreversible and Optimal -machines

@inproceedings{Danos1996ReversibleIA,
  title={Reversible, Irreversible and Optimal -machines},
  author={Vincent Danos},
  year={1996}
}
There are two quite diierent possibilities for implementing linear head reduction in-calculus. Two ways which we are going to explain brieey here in the introduction and in details in the body of the paper. The paper itself is concerned with showing an unexpectedly simple relation between these two ways, which we term reversible and irreversible, namely that the latter may be obtained as a natural optimization of the former.