Conference

TLCA

International Conference on Typed Lambda Calculi and Applications

TLCA in dblp Conference Website

Volumes

Volume

LIPIcs, Volume 38

13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)

TLCA 2015, July 1-3, 2015, Warsaw, Poland

Editors: Thorsten Altenkirch

Access Numbers



Authors

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
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact