Adjunct Elimination in Context Logic for Trees.

Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner

Browse the full APLAS paper archive.