MFPS slides

by oleksandrmanzyuk

Unfortunately, I couldn’t attend the MFPS conference because of some silly visa issues. However, the organizers unanimously expressed the wish that my paper be presented, and Andrej Bauer kindly agreed to make a presentation provided that I prepare some slides. Andrej gave a talk on my paper yesterday, which I hear was great, and I’d like to thank him for that. I thought I’d make the slides available online, together with the notes, so here they are.