Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1016/j.tcs.2018.05.008 | Theoretical Computer Science |
Keywords | Field | DocType |
Nominal syntax,Nominal rewriting,Binding,Essential intersection types,Subject reduction | Discrete mathematics,Algebra,Subject reduction,Nominal terms,Operator (computer programming),Rewriting,Syntax,Mathematics | Journal |
Volume | ISSN | Citations |
737 | 0304-3975 | 0 |
PageRank | References | Authors |
0.34 | 22 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mauricio Ayala-Rincón | 1 | 156 | 31.94 |
Maribel Fernández | 2 | 315 | 23.44 |
Ana Cristina Rocha Oliveira | 3 | 9 | 2.43 |
Daniel Lima Ventura | 4 | 22 | 4.88 |