Yves Guiraud

Personal information


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

History


12 years 6 days