WESTAPP 2000 Third International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs