Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Yves Guiraud
Map detail
Yves Guiraud7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipYves GuiraudAYves GuiraudResearcherIdentities among relations for higher-dimensional rewriting systemsWIdentities among relati...preprint / 2010Higher-dimensional normalisation strategies for acyclicityWHigher-dimensional norm...preprint / 2012Coherence in monoidal track categoriesWCoherence in monoidal t...preprint / 2010Coherent presentations of Artin monoidsWCoherent presentations ...preprint / 2015Polygraphic programs and polynomial-time functionsWPolygraphic programs an...preprint / 2009Quadratic normalisation in monoidsWQuadratic normalisation...preprint / 2016
Person6 links

Yves Guiraud

Researcher