@misc{indiciaebd209d771636,
  title = {Typing a Core Binary Field Arithmetic in a Light Logic},
  author = {Emanuele Cesena and Marco Pedicini and Luca Roversi},
  year = {2011},
  url = {https://arxiv.org/abs/1106.5622},
  note = {Source identifier: 1106.5622}
}