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