Typed lambda calculi and applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings (Springer, 1995)