Private Names in Non-Commutative Logic.

Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu

Browse the full CONCUR paper archive.