[Haskell-cafe] LC online references
mattr at ics.mq.edu.au
Thu Jun 2 04:23:37 EDT 2005
I hope I am not too OT here.
I am in the process to coming to terms with various calculi based on
the lambda calculus. I end up returning to LC books all the time to
put things in context.
However, I have taken to living out of my laptop and certainly can't
carry around the laptop, the book I am reading plus Barendregt's book
(plus my phone, plus ....). Besides, I can't afford to buy any books
and the library is going to want it back sometime.
Does anyone have any pointers to useful online references for the LC?
More information about the Haskell-Cafe