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 ZitierstilTyped 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 ZitierstilBezem, 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.