2 papers
cs.LO2026
Linearising Explicit Substitutions using Intersection Types
Ana Jorge Almeida, Sandra Alves, Mário Florido
Term expansion was originally introduced in 2004 as a way to relate terms typed in an intersection type system with linear terms. Recently, new applications of term expansion inclu…
cs.DC2025
CoMPSeT: A Framework for Comparing Multiparty Session Types
Telmo Ribeiro, José Proença, Mário Florido
Concurrent systems are often complex and difficult to design. Choreographic languages, such as Multiparty Session Types (MPST), allow the description of global protocols of interac…