TY  - RPRT
TI  - De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
AU  - Ross Horne
AU  - Alwen Tiu
AU  - Bogdan Aman
AU  - Gabriel Ciobanu
PY  - 2020
DO  - 10.1145/3325821
UR  - https://arxiv.org/abs/1602.06043
ID  - 1602.06043
ER  -