F. Gavazzo will present his work on Coinductive Equivalences for Higher-order Coeffectful Languages. https://youtu.be/-tgA2zShDcQ
Date: 02 APRIL 2021
Type: Seminar