A functional programming group for those living and working in Bucharest
We gather monthly, watch someone talk about something they're passionate about and then continue the discussion in a pub
#038: The Curry-Howard-Lambek Correspondence
This meetup took place at Bucharest TechHub, Wednesday, 23 January 2019 at 19:00. Find out when our next meetup is.
The Curry-Howard-Lambek Correspondence
Denisa Diaconescu is an Associate Professor at the University of Bucharest, teaching Logic and Formal Verification. Denisa also works for Runtime Verification as a Formal Verification Engineer. Her main research interests are formal methods, applications of logic in computer science, and formal verification. You can find out more at https://cs.unibuc.ro/~ddiaconescu.
We will be looking at the common ground between Logic, Type Theory, and Category Theory and, using these different perspectives, attempt to gain some insight into each of them.