Bibtex de la publication

@Proceedings{ Ma2014.12,
editor = {Matthes, Ralph and Schubert, Aleksy},
title = "{19th International Conference on Types for Proofs and Programs (TYPES 2013), Toulouse, 22/04/2013 - 26/04/2013}",
year = {2014},
month = {juillet},
publisher = {Dagstuhl Publishing},
address = {http://www.dagstuhl.de/},
language = {anglais},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
number = {26},
URL = {http://www.dagstuhl.de/dagpub/978-3-939897-72-9/}
}