Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu: Private Names in Non-Commutative Logic. CONCUR 2016: 31:1-31:16