Teoria dos Tipos e Isomorfismo de Curry-Howard: A Profunda Harmonia onde Proposições = Tipos e Provas = Programas
Tags
3 páginas
Functional-Programming
A Filosofia do Haskell e das Linguagens Funcionais Puras: O Mundo dos Mônadas e Seu Abismo
Cálculo Lambda (Lambda Calculus) e as Origens da Programação Funcional: Da Teoria de Alonzo Church ao Lisp e Haskell
