F. Gavazzo will present his work on Operational Reasoning for Modal Types: Effects and Coeffects. https://youtu.be/IHKpjPZ00vI
Date: 05 MAY 2020
Type: Seminar
