(Somewhat) Functional Journal Club
Tuesday, March 16, 2021 - 16:00 to 17:00
In this fourth meeting, Seva Nikulin will talk about "Propositions as types".
This Journal Club is for people interested in Functional Programming, Category Theory and related fields. Maybe you know a some Haskell, maybe you’ve heard of monads or the Yoneda Lemma, or maybe you’d like to learn about these things. We will meet every two weeks (approximately) on Tuesdays from 4 to 5PM. Registration not required.