Shop Typed Lambda Calculi And Applications: Third International Conference On Typed Lambda Calculi And Applications Tlca \'97 Nancy, France, April 2–4, 1997 Proceedings