Computer Science Canada Lambda calculus |
| Author: | lambdaownsme [ Mon Mar 03, 2008 4:05 am ] |
| Post subject: | Lambda calculus |
Alright, so I have a really basic understanding of lambda calculus..(ie. I know it's confusing, and that's it) and I have to convert a function to lambda-calculus notation. The function looks like: f(a, b) = if B = 0 then A else (g(a), f(b)) But I can't really find examples of if-then-else lambda expressions. Can anyone help me out here and give me some general directions or pointers? |
|
| Author: | wtd [ Mon Mar 03, 2008 2:21 pm ] |
| Post subject: | RE:Lambda calculus |
http://en.wikipedia.org/wiki/Lambda_calculus#Logic_and_predicates |
|
| Author: | syntax_error [ Mon Mar 03, 2008 7:11 pm ] |
| Post subject: | RE:Lambda calculus |
sad how no ones ever tries wiki before asking for help. Even google would get you your results. |
|
| Author: | pyrnight [ Mon Mar 03, 2008 10:17 pm ] |
| Post subject: | RE:Lambda calculus |
I bet almost 90% of the posts here could be solved by google first. |
|