Blog articles tagged 'lambdacalculus'

0
comment
on 9/19/2012 9:43 AM
In the last article we talked about subtraction. But of course there is more to “programming” than just arithmetic. One of the most basic things we need is a way to decide an output based on some value. You all … Continue reading →
.
0
comment
on 8/30/2012 10:07 AM
In the last article I defined the Succ operation on numbers and showed how this can be used to implement addition in untyped lambda calculus. Because of the number representation I choose this was rather easy so Subtraction should be … Continue reading →
.
0
comment
on 8/28/2012 9:23 AM
You might have heard that functional programming is based on Lambda Calculus – and indeed this is true (LISP was greatly influenced by Alonzo Church’s Lambda Calculus and you might have heard of “lambda”s in other functional languages as well) … Continue [...]
.
0
comment
on 8/16/2012 4:44 AM
Long time since my last post – sorry for this but I’m gonna be more active in the future. This post will start a series of entries dealing with Lambda Calculus so be prepared for some major geeky-fun. With some … Continue reading →
.
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us
Built with WebSharper