https://2023.splashcon.org/details/st-anniversary-30-papers/12/A-silent-semantics-for-isorecursive-session-types
A silent semantics for isorecursive session types (ST30 - 30 Years of Session Types) - SPLASH 2023
22nd and 23rd October Session types are a type-theoretic approach to specifying communication protocols so that they can be verified by type-checking. This...