Structural Rules and Algebraic Properties of Intersection Types

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2022

Autores

Sandra Alves (Autor) FCUP; Florido, M (Autor) FCUP

Ata de Conferência Internacional

Título: Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Páginas: 60-77

19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022

27 September 2022 through 29 September 2022

Indexação

ISI Web of Science

Scopus

Outras Informações

ID Authenticus: P-00X-DQY

DOI: 10.1007/978-3-031-17715-6_6

Abstract (EN): In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection type system. Expansion relates terms typed by associative, commutative and idempotent intersections with terms typed in the Curry type system and the relevant type system; terms typed by non-idempotent intersections with terms typed in the affine and linear type systems; and terms typed by non-idempotent and non-commutative intersections with terms typed in an ordered type system. © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Idioma: Inglês

Tipo (Avaliação Docente): Científica