APA (7th ed.) Citation

Hutchison, D. (2009). Typed lambda calculi and applications: 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

Hutchison, David. Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings. Berlin, Heidelberg: Springer-Verlag, 2009.

MLA (8th ed.) Citation

Hutchison, David. Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings. Springer-Verlag, 2009.