The talk will be about story behind, from a little bit more scientific point of view. Church Lambda calculus, Entscheidungsproblem and incompleteness theorem.
However, almost all of that will be presented in Java. There are going to be shown some very crazy code pieces such as magic Y combinator and perfectly unusable implementation of Boolean (based on Lambda expressions).
Buy this talk
Buy this video
ConferenceCast.tv — conference video talk archive.
With this service you can find interesting talks especially for you!