Turing’s approach via a machine model has a great deal of appeal to a programmer and to a computer scientist but, as we have just seen in the previous chapter, mathematicians have also considered what ...

The lambda calculus is a theoretical construct often used to beat non-mathematically inclined programmers into submission - that and monoids. Now we have Calc Intelligence, a Microsoft Research ...