2024-02-13: Nobuko Yoshida (Strachey Chair at University of Oxford)

Tue, 14 Oct 2025 16:51:42 +0000

Nobuko Yoshida (Strachey Chair at University of Oxford)

Session types, Linear Logic and Expressiveness

Abstract

I will first talk about the origin of session types and its relationship with expressiveness.

The first technical part of this talk will present an expressiveness result between Linear Logic-based Session Types and System F. The second part gives a summary of recent results on session types, highlighting the expressiveness correspondence between various session-based process calculi.

2024-02-13 12:00:00 UTC
LT412