Author: International Conference on Typed Lambda Calculi and Applications (4th 1999 L'Aquila, Italy)