LASIGE at the Imperial College

Date: 12/05/2022

Diogo Poças, LASIGE’s integrated member, gave a talk “The Different Shades of Infinite Session Types”, promoted by the Mobility Reading Group (MRG) meeting, π-calculus, Session Types research, at Imperial College, on May 12, 2022.

This talk was about the study of infinite session types across a spectrum of shades of grey on the way to the bright light of general infinite types and concluded, among others, that it allows establishing decidability and undecidability results for type formation, type equivalence, and duality in each class of types.

More information here.