APA (7th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Edinburgh, Scotland, SpringerLink (Online service), Dezani-Ciancaglini, M., & Plotkin, G. (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.

Chicago Style (17th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Edinburgh, Scotland, SpringerLink (Online service), M. Dezani-Ciancaglini, and G. Plotkin. 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.

MLA (9th ed.) Citation

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.