A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Many type systems include infinite types. In session type systems, which are the focus of this paper, infinite types are important because they allow the specification of communication protocols that are unbounded in time. Usually infinite session types are introduced as simple finite-state expressions 𝗋𝖾𝖼 X.T or by non-parametric equational definitions X≐ T. Alternatively, some systems of label- or value-dependent session types go beyond simple recursive types. However, leaving dependent typesarXiv:2201.08275v1 fatcat:di3xp4jiuvfbbba3vtfpydqv44