![](/img/cover-not-exists.png)
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
Horne, Ross, Tiu, Alwen, Aman, Bogdan, Ciobanu, GabrielVolume:
20
Language:
english
Journal:
ACM Transactions on Computational Logic
DOI:
10.1145/3325821
Date:
July, 2019
File:
PDF, 1.50 MB
english, 2019