Adjunct Elimination in Context Logic for Trees

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.

Venue

Proceedings of the 5^th Asian Symposium on Programming Languages and Systems (APLAS’07), pp. 255–270

Publication Date

Nov 2007

Identifiers

DOI: doi:10.1007/978-3-540-76637-7_17

Source Materials

Authors' Preprint/Accepted Version
Published Edition
BibTeX Citation