APA (7th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Brasilla, Brazil, & Curien, P. (2009). Typed lambda calculi and applications: 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedings. Springer-Verlag. https://doi.org/10.1007/978-3-642-02273-9

Chicago Style (17th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Brasilla, Brazil, and P.-L Curien. Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : Proceedings. Berlin ; New York: Springer-Verlag, 2009. https://doi.org/10.1007/978-3-642-02273-9.

MLA (9th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Brasilla, Brazil, and P.-L Curien. Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : Proceedings. Springer-Verlag, 2009. https://doi.org/10.1007/978-3-642-02273-9.