TY  - RPRT
TI  - Formalizing the Curry-Howard Correspondence
AU  - Juan Ferrer Meleiro
AU  - Hugo Luiz Mariano
PY  - 2019
UR  - https://arxiv.org/abs/1912.10961
ID  - 1912.10961
ER  -