Shop Typed Lambda Calculi And Applications Third International Conference On Typed Lambda Calculi And Applications Tlca 97 Nancy France April 24 1997 Proceedings