Teoria dos Tipos e Isomorfismo de Curry-Howard: A Profunda Harmonia onde Proposições = Tipos e Provas = Programas
Tags
2 páginas
Lambda-Calculus
Cálculo Lambda (Lambda Calculus) e as Origens da Programação Funcional: Da Teoria de Alonzo Church ao Lisp e Haskell
