Proof and Algorithms Seminar

F. Gavazzo will present his work on Monadic Rewriting Systems.

  • Date: 19 MAY 2021  

  • Type: Seminar