Netvouz / airpocket / tag / lambda-calculus http://www.netvouz.com/airpocket/tag/lambda-calculus?feed=rss airpocket's bookmarks tagged "lambda-calculus" on Netvouz Alligator Eggs! http://worrydream.com/AlligatorEggs/ airpocket Tue, 16 Oct 2007 21:07:18 GMT An Introduction to Lambda Calculus and Scheme http://www.jetcafe.org/~jim/lambda.html airpocket Tue, 27 Jun 2006 21:32:12 GMT Barendregt: Lambda Calculus http://www.andrew.cmu.edu/user/cebrown/notes/barendregt.html airpocket Thu, 14 Dec 2006 04:32:44 GMT Lambda Calculus: Oxford Course, with Notes http://users.comlab.ox.ac.uk/luke.ong/teaching/lambda/ airpocket Wed, 29 Mar 2006 19:21:02 GMT To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction http://users.bigpond.net.au/d.keenan/Lambda/ airpocket Thu, 17 May 2007 06:24:57 GMT Type Theory and Functional Programming http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ Free book (1991), by Simon Thompson airpocket Wed, 16 Aug 2006 22:32:18 GMT