The Lambda Calculator web site has moved to
http://www.nyu.edu/projects/champollion/lambda
.