Samuel Mimram

Samuel Mimram

Samuel Mimram has written at least 2 books. Their most popular book is Program = Proof with 2 saves with an average rating of -⭐.

Program = Proof

Program = Proof
BySamuel Mimram

2020 • 2 Readers • 539 pages

Directed Algebraic Topology and Concurrency

Directed Algebraic Topology and Concurrency
ByLisbeth Fajstrup,Eric Goubault,+3 more

2016 • 1 Reader • 167 pages