Adjunct Elimination in Context Logic for Trees
Venue
Proceedings of the 5th Asian Symposium on Programming Languages and Systems (APLAS’07), pp. 255–270
Publication Year
2007
Identifiers
Authors
- Cristiano Calcagno
- Thomas Dinsdale-Young
- Philippa Gardner
Abstract
We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not possible to prove such elimination results for the original single-holed formulation of Context Logic. Instead, we prove our results for multi-holed Context Logic.