Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01)

Abstract

This report contains the proceedings of the fourth Workshop on Explicit Substitutions Theory and Applications. Prior events took place at Tsukuba (1998), Trento (1999) and Norwich (2000). The aim of this workshop is to bring together researchers working on both theoretical and applied aspects of explicit substitutions, to present recent work (possibly still in progress), and to discuss new ideas and emerging trends. This year two well-known contributors to lambda-calculus explicit substitutions, Corrado Bohm and Paul-Andre Mellies, were invited to give their view on the development of the field. In addition, four papers presented new developments.