Philippe Gaucher
1,576
reputation
2
18
31
Mathematics and theoretical computer science. Interests: homotopy theory, category theory, locally presentable category, concurrency theory, process algebra, computer science, directed algebraic topology