Um dos fundamentos da computação. Atualíssimo. Linguagens funcionais são cálculo lambda aplicado. Funciona. Ajuda a estruurar programas. Fundamenta abstração.
Introduction to lambda calculus, H.Barendregt, 2000, completo e matemático.
A tutorial introduction to lambda calculus, R.Rojas, 1997, mais simples, boa introdução às noções básicas.
An Introduction to Lambda Calculus and Scheme, J.Larson, 1996, mostra rapidamente o que é o cálculo Lambda e como Scheme o implementa. Muito prático.
The Untyped Lambda Calculus, H.Hojjat, Un.Teheran, powerpoint apresentando bem o cálculo lambda.
Nenhum comentário:
Postar um comentário