Publications de
Ralph Matthes, Aleksy Schubert
19th International Conference on Types for Proofs and Programs (TYPES 2013), Toulouse, 22/04/13 – 26/04/13, Dagstuhl Publishing, Leibniz International Proceedings in Informatics (LIPIcs) 26, juillet 2014.
Accès : http://www.dagstuhl.de/dagpub/978-3-939897-72-9/
BibTeX