APA Zitierstil

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. Berlin [u.a.]: 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.). — (664). — ISBN 9783540475866

MLA Zitierstil

Bezem, Marc. Typed Lambda Calculi and Applications: International Conference On Typed Lambda Calculi and Applications, TLCA '93, March, 16 - 18, 1993, Utrecht, The Netherlands ; Proceedings.Berlin [u.a.]: Springer, 1993.

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