Isomorfismo de Curry-Howard. El práctico sigue siendo el 3.
Isomorfismo de Curry-Howard. El práctico sigue siendo el 3.
Curry-Howard: Propositions as Types, Proofs as Objects
Haga clic en CFPTT_T3_p2.pdf para ver el archivo.
Curry-Howard: Propositions as Types, Proofs as Objects