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