@misc{indiciae5bf4cd103032,
  title = {Formalizing the Curry-Howard Correspondence},
  author = {Juan Ferrer Meleiro and Hugo Luiz Mariano},
  year = {2019},
  url = {https://arxiv.org/abs/1912.10961},
  note = {Source identifier: 1912.10961}
}