28 Aug
2008
28 Aug
'08
7:22 a.m.
Rafael Gustavo da Cunha Pereira Pinto wrote:
Is there any easy to follow Lambda Calculus (intro-level) tutorial?
I don't really know one, but the following course notes L. Paulson. Foundations of Functional Programming. http://www.cl.cam.ac.uk/~lp15/papers/Notes/Founds-FP.pdf are pretty short and understandable. For the many possible reduction strategies and normal forms, see also P. Sestoft. Demonstrating Lambda Calculus Reduction. http://www.itu.dk/~sestoft/papers/sestoft-lamreduce.pdf Regards, apfelmus