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....

## Thread Closed

This thread is kinda stale and has been closed but if you'd like to continue the conversation, please create a new thread in our Forums, or Contact Us and let us know.