Options
Title
13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015
Title Supplement
1st - 3rd July 2015, Warsaw, Poland
Person Involved
Publisher
Publishing Place
Saarbrücken/Wadern
Publication Date
2015
Series
Leibniz International Proceedings in Informatics. LIPIcs; 38
ISBN
978-3-939897-87-3