Livro introducao ao calculo lambda

Descrição: O cálculo lambda é um dos pilares da ciência da computação. Para além?do seu papel histórico em teoria da computabi... Veja mais