-
Bib ID# 31850
ISBN: 9783642389467
UPC: 10.1007/978-3-642-38946-7
Title: Typed Lambda Calculi and Applications11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
Author: Hasegawa, Masahito.
Publication Info:
Item Type: Language material