TY - THES DP - http://www.theses.fr/2019SACLX099 TI - Sémantique géométrique pour la calculabilité asynchrone AU - Ledent, Jérémy A3 - Goubault, Éric; Mimram, Samuel PY - 2019 N1 - Thèse de doctorat Mathématiques et Informatique Université Paris-Saclay (ComUE) 2019 N1 - 2019SACLX099 UR - http://www.theses.fr/2019SACLX099/document ER -