De Morgan dual nominal quantifiers modelling private names in non-commutative logic

Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)

Fingerprint

Dive into the research topics of 'De Morgan dual nominal quantifiers modelling private names in non-commutative logic'. Together they form a unique fingerprint.

Computer Science