APA (7th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Valencia, Spain, & Hofmann, M. (2003). Typed lambda calculi and applications: 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Valencia, Spain, and Martin Hofmann. Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : Proceedings. Berlin ; New York: Springer, 2003.

MLA (9th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Valencia, Spain, and Martin Hofmann. Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : Proceedings. Springer, 2003.