APA-Zitierstil (7. Ausg.)

International Conference on Typed Lambda Calculi and Applications & Bezem, M. (1993). Typed lambda calculi and applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16 - 18, 1993, Utrecht, The Netherlands ; proceedings. Springer.

ISBD Zitierstil

Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16 - 18, 1993, Utrecht, The Netherlands ; proceedings / M. Bezem ... (eds.) . — Berlin [u.a.] : Springer, 1993. — Online-Ressource (VIII, 432 S.). — (Lecture notes in computer science) (664). — ISBN 9783540475866

MLA-Zitierstil (8. Ausg.)

International Conference on Typed Lambda Calculi and Applications und Marc Bezem. Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March, 16 - 18, 1993, Utrecht, The Netherlands ; Proceedings.Springer, 1993.

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