Formalizing the Curry-Howard Correspondence. - Juan Ferrer Meleiro; Hugo Luiz Mariano (CoRR, 2019)