文章基本信息

标题：Front Matter, Table of Contents, Preface, Conference Organization
作者：Thorsten Altenkirch
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2015
卷号：38
页码：i-xii
DOI：10.4230/LIPIcs.TLCA.2015.i
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：This volume contains the papers of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), which was held during 1-3 July 2015, in Warsaw, Poland.
关键词：Front Matter; Table of Contents; Preface; Conference Organization