Author: International Workshop TYPES '96 (1996 Aussois, France)