APA (7th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Warschau & Altenkirch, T. (2015). 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015): TLCA’15, July 1–3, 2015, Warsaw, Poland. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH.

Chicago Style (17th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Warschau and Thorsten Altenkirch. 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015): TLCA’15, July 1–3, 2015, Warsaw, Poland. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2015.

MLA (9th ed.) Citation

International Conference on Typed Lambda Calculi and Applications Warschau and Thorsten Altenkirch. 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015): TLCA’15, July 1–3, 2015, Warsaw, Poland. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2015.