APA-Zitierstil (7. Ausg.)

(2001). Typed lambda calculi and applications: 5th international conference, TLCA 2001, Kraków, Poland, May 2 - 5, 2001 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001, Kraków, Poland, May 2 - 5, 2001 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2001.

MLA-Zitierstil (9. Ausg.)

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001, Kraków, Poland, May 2 - 5, 2001 ; Proceedings. Springer, 2001.