nixphix If you are new to lambda calculus following video & links will help
kincaidsavoie Thank you!
mattklein999 Yes, thank you! That PDF is a perfect introduction!
redemption Thanks for the PDF!!!
arafaliy [deleted]
arafaliy Thanks :)
wu_ct 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
Kaan_Aydinay Thanks very much !!
Risen_Again 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.
kkweon (Function)argument e.g (λx.(+1)x)3 = (λx.+1 x)3 = (+ 1 3) = 4
((λx.(x y))(λz.z)) = (λx.(x y))(λz.z) = ((λz.z)y) = (λz.z)y = y
manchun_pandit Lambda Calculus. this is great content for me.
danthemango 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.
sethia_arun I liked this content http://www.nyu.edu/projects/barker/Lambda/
Zhomart Hi, I still don't understand why application can be written in the statement of the function?
E.g.
λx.(x y)Shouldn't it be written as
(λx.x)y?g2198207 λ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
shekhar_kotekar Hi,
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.
wisn98 We are not writing code here. Just put your answer on the text editor and submit it.
shekhar_kotekar Okay.THanks.
wisn98 Yes, you're welcome :D
No more comments
Sort 8 Discussions, By:
Please Login in order to post a comment