Document Open Access Logo

Front Matter, Table of Contents, Preface, Conference Organization

Author Thorsten Altenkirch



PDF
Thumbnail PDF

File

LIPIcs.TLCA.2015.i.pdf
  • Filesize: 308 kB
  • 12 pages

Document Identifiers

Author Details

Thorsten Altenkirch

Cite AsGet BibTex

13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 38, pp. i-xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/LIPIcs.TLCA.2015.i

Abstract

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.
Keywords
  • Front Matter
  • Table of Contents
  • Preface
  • Conference Organization

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail