APA (7th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Kraków, Poland, & Abramsky, S. (2001). Typed lambda calculi and applications: 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Kraków, Poland, and Samson Abramsky. Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : Proceedings. Berlin ; New York: Springer, 2001.

MLA (9th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Kraków, Poland, and Samson Abramsky. Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : Proceedings. Springer, 2001.