APA-Zitierstil (7. Ausg.)

International Conference on Typed Lambda Calculi and Applications, Bezem, M., & Groote, J F. (1993). Typed lambda calculi and applications: Proceedings. Springer.

ISBD Zitierstil

Typed lambda calculi and applications : Proceedings / International Conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16 - 18, 1993, Utrecht, The Netherlands. M. Bezem ... (ed.) . — Berlin : Springer, 1993. — VIII, 432 S.; graph. Darst. — (Lecture notes in computer science) (664). — ISBN 3540565175, 0387565175

MLA-Zitierstil (8. Ausg.)

International Conference on Typed Lambda Calculi and Applications, et al. Typed Lambda Calculi and Applications: Proceedings.Springer, 1993.

Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.