curry-howard

El isomorfismo de Curry-Howard…