APA (7th ed.) Citation

International Conference on Types for Proofs and Programs Tallinn & Uustalu, T. (2018). 21st International Conference on Types for Proofs and Programs: TYPES 2015, May 18-21, 2015, Tallinn, Estonia. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing.

Chicago Style (17th ed.) Citation

International Conference on Types for Proofs and Programs Tallinn and Tarmo Uustalu. 21st International Conference on Types for Proofs and Programs: TYPES 2015, May 18-21, 2015, Tallinn, Estonia. Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2018.

MLA (9th ed.) Citation

International Conference on Types for Proofs and Programs Tallinn and Tarmo Uustalu. 21st International Conference on Types for Proofs and Programs: TYPES 2015, May 18-21, 2015, Tallinn, Estonia. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2018.