thèmes de recherche

je m'intéresse à la logique, aux catégories, à la réécriture, et plus particulièrement au développement de méthodes géométriques et topologiques dans ces domaines.

un groupe de travail

un livre

quelques articles

liens