Bezem, M., & Groote, J F. (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 Berlin Heidelberg.
ISBD 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 / by Marc Bezem, Jan F. Groote
. — Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. — Online-Ressource. — (Lecture Notes in Computer Science) (664). — ISBN 9783540475866
Bezem, Marc, und Jan Friso Groote. Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings.Springer Berlin Heidelberg, 1993.