Corrispondenza Curry-Howard

Abstract Per Martin-Löf is one of the most prominent living…