@misc{indiciaed6e66153c370,
  title = {A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic},
  author = {Rob Arthan and Paulo Oliva},
  year = {2018},
  url = {https://arxiv.org/abs/1809.04492},
  note = {Source identifier: 1809.04492}
}