Orthogonality and sequentiality in substructural Linear HRSs
Author: Connor Smith
Paper Information
| Title: | Orthogonality and sequentiality in substructural Linear HRSs |
| Authors: | Connor Smith |
| Proceedings: | HOR Pre-proceedings |
| Editor: | Stefano Guerrini |
| Keywords: | lambda calculus, term rewriting, higher-order rewriting, linear logic |
| Abstract: | ABSTRACT. Linear HRSs are higher-order rewriting systems having the substructural linear lambda-calculus as a substitution calculus. We explore the properties of orthogonality and sequentiality, focusing on multiplicative and additive conjunction, and how they differ in behaviour to `intuitionistic' HRSs. |
| Pages: | 6 |
| Talk: | Jul 07 12:00 (Session 27) |
| Paper: |  |