| | 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 |