Coffeehouse Thread
12 postsForum Read Only
This forum has been made read only by the site admins. No new threads or comments can be added.
Lambda Calculus lectures

There's finally a lambda calculus lecture series on YouTube. Every once in a while I try to find some, but this is the first time I've found any. Posted March 12th. http://www.youtube.com/watch?v=S_WzF6BHadc
Edit: I've just finished watching them, and there's only 3 so far. In the 3rd one he makes some mistakes that he acknowledges and promises to fix it someday .... The lectures only cover the basics however, which I'm already familiar with. He does also have some lectures on type theory ... so I'm checking out the first one....

Did you try Khan Academy (http://www.khanacademy.org/) ?

Try CS61A at Berkley with Brain Harvey. It's on youtube. I took this course, and he is one good instructor. The course uses scheme (how about that), with the SICP (structure and interpretation of computer programs) book form MIT.

@Ian2: I looked through their lectures, and they have some very interesting ones, but I don't see anything on lambda calculus.

@fanbaby: I looked at the lectures available, thanks for the reference ... but I don't see anything in particular on lambda calculus. Do you know if it's specifically covered?

Bart De Smet's posts on lambda calculus are also very good http://community.bartdesmet.net/blogs/bart/archive/2009/08/17/misusingc40dynamictypefreelambdacalculuschurchnumeralsandmore.aspx.
I have to go back and read them again, since I've learned a lot since I first saw them.

http://www.mscs.dal.ca/~selinger/papers/lambdanotes.pdf
Have you seen this? => http://wn.com/lambda_calculusC

@Charles: I haven't seen the lecture notes before, so thanks for that, it should be quite useful.
I haven't seen everything aggregated by the second link, but the first in the list is the same lecture as I linked above. I have also watched some of the other ones before  not all of them, so, thanks for the links.

@Richard.Hein: My bad, i thought you were talking functional programming.

Not terrible, but I think it's annoying that he seems to be using the mouse to draw things instead of a keyboard.

@Richard.Hein:Yeh, I thought there might be something there, noticed there wasn't but the site is great so left the post anyway ...

1 hour ago, fanbaby wrote
@Richard.Hein: My bad, i thought you were talking functional programming.
Well, I am since lambda calculus is the essence of all functional programming. It's just that in this case I'm particularly interested in the nitty gritty details of the simplest possible programming language, which is lambda calculus. Everything else is syntax sugar.
Conversation locked
This conversation has been locked by the site admins. No new comments can be made.