Re: Functional Fall Nov. 2 Meeting: A Tutorial Introduction to the Lambda Calculus

[Ben Karel <eschew@gmail.com>]

For anyone looking for more meat on the lambda calculus (and also the pi calculus, for the more ambitious), here's an overview by Benjamin Pierce:

http://www.eecs.berkeley.edu/~necula/cs263/handouts/pierce95foundational.pdf

It overlaps significantly with what Rojas covers, but Pierce covers a bit more. I definitely find that when learning new material, two sources are better than one!

Cheers,

-- Ben

On Fri, Oct 21, 2011 at 4:53 PM, Lalish-Menagh, Trevor <trev@trevmex.com> wrote:

Hi all,

The last Functional Fall (http://functionalfall.com/) meeting on
"Continuations, functions, and jumps" (notes at
http://trevmex.com/post/11743420266/continuations-functions-and-jumps)
went really well! Thanks to everyone that was part of the
conversation!

Our next meeting will be on Nov. 2nd at 6:30pm at the Comcast Center.
Our paper is going to be "A Tutorial Introduction to the Lambda
Calculus" (http://www.utdallas.edu/~gupta/courses/apl/lambda.pdf). We
are going back to basics to get our math on. I hope you can make it!

As always CIM (http://cimlife.com/) will be sponsoring food and soda!

Remember to RSVP at http://www.doodle.com/dvd85t6iw8hs8vqp

See you there!

Yours,
Trevor
--
Trevor Lalish-Menagh
trev@trevmex.com
484.868.6150Â(mobile)
trevmex (AIM)