Interaction Improvement
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915966645960704 |
|---|---|
| author | Lancelot, Adrienne Manzonetto, Giulio McCusker, Guy Vanoni, Gabriele |
| author_facet | Lancelot, Adrienne Manzonetto, Giulio McCusker, Guy Vanoni, Gabriele |
| contents | The relational semantics of linear logic is a powerful framework for defining resource-aware models of the $λ$-calculus. However, its quantitative aspects are not reflected in the preorders and equational theories induced by these models. Indeed, they can be characterized in terms of (in)equalities between Böhm trees up to extensionality, which are qualitative in nature. We employ the recently introduced checkers calculus to provide a quantitative and contextual interpretation of the preorder associated to the relational semantics. This way, we show that the relational semantics refines the contextual preorder constraining the number of interactions between the related terms and the context. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_01638 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Interaction Improvement Lancelot, Adrienne Manzonetto, Giulio McCusker, Guy Vanoni, Gabriele Logic in Computer Science Programming Languages The relational semantics of linear logic is a powerful framework for defining resource-aware models of the $λ$-calculus. However, its quantitative aspects are not reflected in the preorders and equational theories induced by these models. Indeed, they can be characterized in terms of (in)equalities between Böhm trees up to extensionality, which are qualitative in nature. We employ the recently introduced checkers calculus to provide a quantitative and contextual interpretation of the preorder associated to the relational semantics. This way, we show that the relational semantics refines the contextual preorder constraining the number of interactions between the related terms and the context. |
| title | Interaction Improvement |
| topic | Logic in Computer Science Programming Languages |
| url | https://arxiv.org/abs/2601.01638 |