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, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Brasilla, Brazil, and Pierre-Louis Curien. Typed Lambda Calculi and Applications: 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : Proceedings. Berlin: Springer, 2009.

MLA (9th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Brasilla, Brazil, and Pierre-Louis Curien. Typed Lambda Calculi and Applications: 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : Proceedings. Springer, 2009.