Some error occured while loading page for you. Please try again.
Sort 7 Discussions, By:
Please Login in order to post a comment
If you are new to lambda calculus following video & links will help
Church Notation -Wikipedia
Yes, thank you! That PDF is a perfect introduction!
Thanks for the PDF!!!
There is a version 2 of the origin PDF tutorial which has been fixed some errors and added more illustrations. Here is the link: http://www.inf.fu-berlin.de/inst/ag-ki/rojas_home/documents/tutorials/lambda.pdf
Did anyone find the solution of this problem
Yes, I did after finishing the PDF tutorial.
Thanks very much !!
I started coding a lexical parser for this. Then read a comment that we just have to write plain text answer for the given expression. Facepalm.
e.g (λx.(+1)x)3 = (λx.+1 x)3 = (+ 1 3) = 4
= (λx.(x y))(λz.z)
I think the question should mention that it is looking for the result of the reduction. I thought it was looking for some kind of input to the lambda expression.
I liked this content http://www.nyu.edu/projects/barker/Lambda/
Hi, I still don't understand why application can be written in the statement of the function?
Shouldn't it be written as (λx.x)y?
λx.(x y) is a function that applies y to its first argument [maybe clearer this way: (λx.x y) ]
(λx.x)y is just y applied to the identity function, reduces to y
We are supposed to write Scala/Java/ code for this problem or we are supposed to write steps to reduce that expression?
I cannot see any language related drop down box for this problem. Here is the screenshot of it.
We are not writing code here. Just put your answer on the text editor and submit it.
Yes, you're welcome :D
No more comments