Document Open Access Logo

LIPIcs, Volume 38, TLCA'15, Complete Volume

Author Thorsten Altenkirch



PDF
Thumbnail PDF

File

LIPIcs.TLCA.2015.pdf
  • Filesize: 10.75 MB
  • 358 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, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/LIPIcs.TLCA.2015

Abstract

LIPIcs, Volume 38, TLCA'15, Complete Volume
Keywords
  • Applicative (Functional) Programming, Language Classifications, Language Constructs and Features, Data Structures, Logics and Meanings of Programs Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Deduction and Theorem Proving

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