A compreensão de Cálculo Lambda e Teoria dos Tipos é importante para entender com mais profundidade os fundamentos tanto de linguagens funcionais modernas como de ferramentas assistentes de prova. Ao longo dos anos uma ...