Surf these sites: Dual Identity Combinators -- Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition of identity combinators, in the formulae-as-types sense, to combinatory logic. Kolmogorov Complexity in Combinatory Logic -- Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness. Lambda -- An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions. Lambda Calculus -- Introduction to the lambda calculus for computer scientists. Shows how the calculus can be formalised in Scheme. The Lambda-calculus, Combinatory Logic, and Type Systems -- Overview by Roger Bishop Jones.
Help build the largest human-edited
directory on the web.