APA (7th ed.) Citation

(2003). Typed lambda calculi and applications: 6th international conference, TLCA 2003, Valencia, Spain, June 10 - 20, 2003 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10 - 20, 2003 ; Proceedings. Berlin u.a: Springer, 2003.

MLA (9th ed.) Citation

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10 - 20, 2003 ; Proceedings. Springer, 2003.