de catégories, formalisation en Coq, transformation de graphes. Contexte de travail La recherche s'effectuera au
laboratoire LIP... catégories, avec comme cas d'utilisation la transformation de graphes. Contraintes et risques Le
laboratoire LIP n'est pas... - €2934 per month -
Voir cette offre d'emploi