-P. de Groote/J. R. Hindley (Eds.): Typed Lambda Calculi and Applications Proceedings, Springer-Verlag 1997