| ![](thumb.php?src=products/364/9783642389450.jpg&wmax=80&hmax=80) | Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, Eindhoven, the Netherlands, June 26-28, 2013, Proceedings 2013 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Hasegawa, Masahito | Paperback | 3642389457 / 9783642389450 | 06/2013 | $68.40 |