@misc{indiciaeba38cdb40fa4,
  title = {Lambda-calculus and Reversible Automatic Combinators},
  author = {Alberto Ciaffaglione and Furio Honsell and Marina Lenisa and Ivan Scagnetto},
  year = {2018},
  url = {https://arxiv.org/abs/1806.06759},
  note = {Source identifier: 1806.06759}
}