[plt-scheme] lambda calculus
if the issue of this mail is off topic for this mail group i am sorry.But i
am searching a source for lambda calculus).I dont know anything about lambda
calculus at least i am beginner.Can someone suggest me a source for lambda
calculus that explain normal form,reduction,Y operator,Z operator etc.
Thanks.
Notes : I am reading wikipedia.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20090810/fa04ae34/attachment.html>