@misc{indiciaeac5d8d33b0d0,
  title = {Gentzen-Mints-Zucker duality},
  author = {Daniel Murfet and William Troiani},
  year = {2020},
  url = {https://arxiv.org/abs/2008.10131},
  note = {Source identifier: 2008.10131}
}