Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings - Hasegawa, Masahito (Springer Berlin Heidelberg : Imprint: Springer, 2013)