Bucharest FP

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

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.