@misc{indiciaef4b16216a677,
  title = {The naturality of natural deduction (II). Some remarks on atomic polymorphism},
  author = {Paolo Pistone and Luca Tranchini and Mattia Petrolo},
  year = {2021},
  url = {https://arxiv.org/abs/1908.11353},
  note = {Source identifier: 1908.11353}
}