International Conference on Typed Lambda Calculi and Applications Edinburgh, Scotland, Plotkin, G., & Dezani-Ciancaglini, M. (1995). 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-Verlag.
Cita Chicago (17th ed.)International Conference on Typed Lambda Calculi and Applications Edinburgh, Scotland, G. Plotkin, i M. Dezani-Ciancaglini. Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : Proceedings. Berlin ; New York: Springer-Verlag, 1995.
Cita MLA (8th ed.)International Conference on Typed Lambda Calculi and Applications Edinburgh, Scotland, et al. 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-Verlag, 1995.