Hasegawa, M. (2013). Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Berlin, Heidelberg: Springer.
ISBD ZitierstilTyped Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings / edited by Masahito Hasegawa . — Berlin, Heidelberg : Springer, 2013. — Online-Ressource (XII, 251 p. 18 illus, digital). — (Lecture notes in computer science ; 7941). — ISBN 9783642389467
Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.