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