Nominal essential intersection types

被引：0

作者：

Ayala-Rincon, Mauricio ^{[1
]}

Fernandez, Maribel ^{[2
]}

Rocha-Oliveira, Ana Cristina ^{[1
]}

Ventura, Daniel Lima ^{[3
]}

机构：

[1] Univ Brasilia, Dept Ciencia Comp & Matemat, Brasilia, DF, Brazil

[2] Kings Coll London, Dept Informat, London, England

[3] Univ Fed Goias, Inst Informat, Goiania, Go, Brazil

来源：

THEORETICAL COMPUTER SCIENCE | 2018年 / 737卷

关键词：

Nominal syntax; Nominal rewriting; Binding; Essential intersection types; Subject reduction; NORMALIZATION; COMPLETENESS; UNIFICATION; SEMANTICS;

D O I：

10.1016/j.tcs.2018.05.008

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Nominal systems are an alternative approach for the treatment of variables in computational systems, where first-order syntax is generalised to provide support for the specification of binding operators. In this work, an intersection type system is presented for nominal terms. The subject reduction property is shown to hold for a specialised notion of typed nominal rewriting, thus ensuring preservation of types under computational execution. (C) 2018 Elsevier B.V. All rights reserved.

引用

页码：62 / 80

页数：19

共 50 条

[1] Nominal Types for Erlang
Huang, Isabell
Hogberg, John
PROCEEDINGS OF THE 23RD ACM SIGPLAN INTERNATIONAL WORKSHOP ON ERLANG, ERLANG 2024, 2024, : 24 - 32
[2] Session Types = Intersection Types
Padovani, Luca
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (45): : 71 - 89
[3] INTERSECTION AND UNION TYPES
BARBANERA, F
DEZANICIANCAGLINI, M
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 651 - 674
[4] Intersection Types and Counting
Parys, Pawel
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (242): : 48 - 63
[5] On Isomorphisms of Intersection Types
Dezani-Ciancaglini, Mariangiola
Di Cosmo, Roberto
Giovannetti, Elio
Tatsuta, Makoto
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2010, 11 (04) : 1 - 24
[6] Infinite intersection types
Bonsangue, MM
Kok, JN
INFORMATION AND COMPUTATION, 2003, 186 (02) : 285 - 318
[7] On Isomorphisms of Intersection Types
Dezani-Ciancaglini, Mariangiola
Di Cosmo, Roberto
Giovannetti, Elio
Tatsuta, Makoto
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 461 - +
[8] Applicative Intersection Types
Xue, Xu
Oliveira, Bruno C. d. S.
Xie, Ningning
PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2022, 2022, 13658 : 155 - 174
[9] Liquid Intersection Types
Pereira, Mario
Alves, Sandra
Florido, Mario
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (177): : 24 - 42
[10] A tale of intersection types
Bono, Viviana
Dezani-Ciancaglini, Mariangiola
PROCEEDINGS OF THE 35TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2020), 2020, : 7 - 20

← 1 2 3 4 5 →