-----------------------------------

lambdaownsme

Mon Mar 03, 2008 4:05 am


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?


-----------------------------------

wtd

Mon Mar 03, 2008 2:21 pm


RE:Lambda calculus

-----------------------------------

http://en.wikipedia.org/wiki/Lambda_calculus#Logic_and_predicates


-----------------------------------

syntax_error

Mon Mar 03, 2008 7:11 pm


RE:Lambda calculus

-----------------------------------

sad how no ones ever tries wiki before asking for help. Even google would get you your results.


-----------------------------------

pyrnight

Mon Mar 03, 2008 10:17 pm


RE:Lambda calculus

-----------------------------------

I bet almost 90% of the posts here could be solved by google first.