Séminaire Chocola

Miquey Charguéraud et Salibra, Paris 7, Inria et Venise. 21 mai 2015 10:30 limd 2:00:00