Klikněte na odkaz Zach-2019-The-Significance-of-the-Curry-Howard-Isomorphism.pdf pro zobrazení souboru.