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
Call for abstracts
Officiel Web Page
Proceedings