-J.-Y. Girard (Ed.): Typed Lambda Calculi and Applications. Proceedings, Springer-Verlag 1999