Augusta CS Colloquim

F. Gavazzo will present his work on Coinductive Equivalences for Higher-order Coeffectful Languages. https://youtu.be/-tgA2zShDcQ

  • Date: 02 APRIL 2021  

  • Type: Seminar