APA-Zitierstil (7. Ausg.)

(1997). Typed lambda calculi and applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2 - 4, 1997 ; proceedings. Springer. https://doi.org/10.1007/3-540-62688-3

Chicago-Zitierstil (17. Ausg.)

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2 - 4, 1997 ; Proceedings. Berlin [u.a.]: Springer, 1997. https://doi.org/10.1007/3-540-62688-3.

MLA-Zitierstil (9. Ausg.)

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2 - 4, 1997 ; Proceedings. Springer, 1997. https://doi.org/10.1007/3-540-62688-3.