Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings - Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon (Lecture notes in computer science ; ;, 1995)