Poças, DiogoVasconcelos, Vasco Thudichum, 1964-Roldão, Miguel Segura Trillo2025-03-142025-03-1420252024http://hdl.handle.net/10400.5/99329Tese de mestrado, Informática, 2025, Universidade de Lisboa, Faculdade de CiênciasContext-free session types allow syntactic validation of communication protocols. These offer an extension over regular session types in making it possible to have nested protocols. With the introduction of polymorphism in the language of context-free session types, the addition of abstraction over types takes expressiveness a step further. This paper focuses on extending context-free session types to full polymorphism, tackling the challenges that arise with the inclusion of polymorphic session types. Enabling the programmer to define types such as ∀α.T and its dual type, ∃β.U, where T and U are session types. With this extended universe of types, we want to enable sequential composition of polymorphic types and other session types. The current state of the art of session types and type equivalence was studied, and a novel type equivalence system was designed, based on canonical renaming and conversion of types to simple grammars, implemented and evaluated in the FREEST language.engPolimorfismoTipos de sessão livres de contextoEquivalência de tiposRenomeação canónicaFREESTTeses de mestrado - 2025master thesis