This page has moved to http://www.ml-shopping.com/wiki/Typed_lambda_calculus.html.