Philippe Gaucher

Paris

http://www.irif.fr/~gaucher/

Mathematics and theoretical computer science. Interests: homotopy theory, category theory, locally presentable category, concurrency theory, process algebra, computer science.

Top Questions
1 2 3