Philippe Gaucher

2,004
reputation
2
21
33

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