Sciweavers

Share
APLAS
2007
ACM

Adjunct Elimination in Context Logic for Trees

9 years 5 months ago
Adjunct Elimination in Context Logic for Trees
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.
Cristiano Calcagno, Thomas Dinsdale-Young, Philipp
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where APLAS
Authors Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner
Comments (0)
books