X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=index.mdwn;h=7286d417f085128cd070edb64286182c83f0f0f4;hp=d531c197ba53ef7893b5d710eae4eeb65da94eea;hb=6e9c06c4741ae1656a9aa4d1ee3b29a0ca528970;hpb=e93866bd6d541c64ca54e5423e35a2e31a1324ae diff --git a/index.mdwn b/index.mdwn index d531c197..7286d417 100644 --- a/index.mdwn +++ b/index.mdwn @@ -136,7 +136,7 @@ other. [[How to get the programming languages running on your computer]] -## Recommended Readings ## +## Recommended Books ## * *An Introduction to Lambda Calculi for Computer Scientists*, by Chris Hankin, currently $17 on @@ -170,11 +170,18 @@ superficial syntactic differences between these languages. # Other resources # -* [Barker's Lambda Tutorial](http://tinyurl.com/cbarker/lambda.html): tutorial with embedded Javascript code that enables a user to type a lambda form into a web browser page and click to execute (reduce) it. +* [Barker's Lambda Tutorial](http://homepages.nyu.edu/~cb125/Lambda): tutorial with embedded Javascript code that enables a user to type a lambda form into a web browser page and click to execute (reduce) it. * [Penn Lambda Calculator](http://www.ling.upenn.edu/lambda/): requires installing Java, but provides a number of tools for evaluating lambda expressions and other linguistic forms. ##[[Schedule of Topics]]## +##[[Lecture Notes]]## + +##[[Offsite Reading]]## + +There's lots of links here already to tutorials and encyclopedia entries about many of the notions we'll be dealing with. + + ---- All wikis are supposed to have a [[SandBox]], so this one does too.