Yves Guiraud

Personal information


Polygraphs, n-categories, proof theory, rewriting, functional programming

History


13 years 5 weeks