Structural Rules and Algebraic Properties of Intersection Types

• Type: Article in International Conference Proceedings Book
• Date: 2022

Authors

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

Conference proceedings International

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

Pages: 60-77

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

27 September 2022 through 29 September 2022

Indexing

ISI Web of Science

Scopus

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific