Type Theory Forall podcast

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

0:00
1:52:49
Rewind 15 seconds
Fast Forward 15 seconds

In this episode we talk with Fabrizio Montesi, a Full Professor at the University of South Denmark. He is one of the creators of the Jolie Programming Language, President of the Microservices Community and Author of the book 'Introduction to Choreographies'. In today’s episode we talk about the formal side of Distributed Sytems, session types, the calculi that model distributed systems, their type systems, their Curry-Howard correspondences, and all the main ideas around these concepts.

If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

Links

More episodes from "Type Theory Forall"