Ancestors

Toot

Written by Andrew Helwer on 2025-01-23 at 14:30

What’s a good introduction to the Lambda calculus that you’ve personally used to learn? I wasn’t exposed to it in undergrad and need to understand wtf de Bruijn indices are in the moderately imminent future.

[#]AskFedi #LambdaCalculus #ComputerScience

=> More informations about this toot | More toots from ahelwer@discuss.systems

Descendants

Written by Colin Gordon on 2025-01-23 at 19:51

@ahelwer I personally learned from a combination of TAPL https://www.cis.upenn.edu/~bcpierce/tapl/ and a course based on it https://courses.cs.washington.edu/courses/cse505/09au/

The first couple chapters are short and mostly establish framing and notation. Chapter 5 is lambda calculus, Chapter 6 covers de Bruijn indices.

=> More informations about this toot | More toots from csgordon@discuss.systems

Written by Andrew Helwer on 2025-01-23 at 20:51

@csgordon Great pointers, thanks! Seems the instructor Dan Grossman is running a programming languages course on coursera... will take a look to see whether it covers similar material

=> More informations about this toot | More toots from ahelwer@discuss.systems