APA (7th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Novi Sad, Serbia, SpringerLink (Online service), & Ong, L. (2011). Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings. Springer. https://doi.org/10.1007/978-3-642-21691-6

Chicago Style (17th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Novi Sad, Serbia, SpringerLink (Online service), and Luke Ong. Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings. Berlin: Springer, 2011. https://doi.org/10.1007/978-3-642-21691-6.

MLA (9th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Novi Sad, Serbia, et al. Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings. Springer, 2011. https://doi.org/10.1007/978-3-642-21691-6.