Typed Lambda Calculi and Applications - Proceedings Of the 2nd International Conference On Typed Lambda Calculi and Applications, Tlcs *95, Edinburgh, United Kingdom, April 10-12, 1995 by Gordon Plotkin