SINOPSE
Uma jornada fascinante pela teoria que revolucionou a computação aguarda você. Com uma abordagem acessível, é possível explorar a história e os fundamentos do Cálculo Lambda, desvendando sua sintaxe e semântica de forma clara. Desafios como o Teorema de Church-Rosser e estratégias de avaliação, incluindo o intrigante Combinador Y, são abordados com profundidade.
Além disso, a aplicação prática em linguagens de programação modernas, como Haskell, é apresentada através de exemplos que solidificam o aprendizado. Com mais de 300 exercícios resolvidos, este material é ideal para estudantes, programadores e entusiastas da matemática e lógica.