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, G. 1946- (Lecture notes in computer science ;, 1995)