Algèbre homotopique et réécriture algébrique - Catégorification, formalisation, automatisation du calcul de remplacements cofibrants de monoïdes internes par réécriture.

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

FR

Auteur / Autrice :	Tanguy Massacrier
Direction :	Philippe Malbos
Type :	Projet de thèse
Discipline(s) :	Mathematiques
Date :	Inscription en doctorat le 03/10/2022
Etablissement(s) :	Lyon 1
Ecole(s) doctorale(s) :	Informatique et Mathématiques de Lyon (InfoMaths)
Partenaire(s) de recherche :	Equipe de recherche : Institut Camille Jordan

FR