WESTAPP98

1st International Workshop on

Explicit Substitutions: Theory and Applications to Programs and Proofs


Sunday March 29, 1998

University of Tsukuba, Japan


WESTAPP98 will take place in room 3L307, which is located on the third floor of building L in the 3rd cluster of buildings. Click here for a campus map.

WESTAPP98 is a satellite workshop of RTA98. Further information is available via the RTA98 website.