Yves Guiraud

Personal information


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

History


11 years 5 weeks