WESTAPP 99

The Second International Workshop on Explicit Substitutions:

Theory and Applications to Programs and Proofs

July 5, 1999, Trento, Italy

FLoC'99 Affiliated Workshop