13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) TLCA’15, July 1–3, 2015, Warsaw, Poland - Altenkirch, Thorsten (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2015)