François Métayer is a French mathematician and theoretical computer scientist, attached to the Laboratoire IRIF at Paris 7. He researches in logic, categories, and rewriting and more particularly in the development of geometric and topological methods in this areas.
His webpage is here, plus a link to the working group seminars: Catégories supérieures, polygraphes et homotopie.
Last revised on July 12, 2020 at 05:58:11. See the history of this page for a list of all contributions to it.