Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings - Masahito Hasegawa ((Lecture Notes in Computer Science))