Welcome
This is my personal site!
You can read more about what I do.
Here is the Y combinator, it allows arbitrary recursion in the lambda calculus. Here expressed in Scheme syntax:
(define Y
(lambda (h)
((lambda (x) (x x))
(lambda (g)
(h (lambda args (apply (g g) args)))))))