International Conference on Types for Proofs and Programs Toulouse, Matthes, R., & Schubert, A. (2014). 19th International Conference on Types for Proofs and Programs (TYPES 2013): TYPES 2013, April 22–26, 2013, Toulouse, France. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH.
Chicago-Zitierstil (17. Ausg.)International Conference on Types for Proofs and Programs Toulouse, Ralph Matthes, und Aleksy Schubert. 19th International Conference on Types for Proofs and Programs (TYPES 2013): TYPES 2013, April 22–26, 2013, Toulouse, France. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2014.
MLA-Zitierstil (9. Ausg.)International Conference on Types for Proofs and Programs Toulouse, et al. 19th International Conference on Types for Proofs and Programs (TYPES 2013): TYPES 2013, April 22–26, 2013, Toulouse, France. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2014.