Frank Laub

1 talk by Frank Laub

• ZK Paris: Frank Laub - Continuations and Parallel Proving