Samuel Mimram

• Directed Algebraic Topology and Concurrency
• Program = Proof