Unity in nominal equational reasoning: The algebra of equality on nominal sets

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{aa163f5501014e5b90a6119bf31a1afd,

title = "Unity in nominal equational reasoning: The algebra of equality on nominal sets",

author = "Gabbay, {Murdoch J.}",

year = "2012",

month = jun,

day = "1",

doi = "10.1016/j.jal.2012.03.001",

language = "English",

volume = "10",

pages = "199--217",

journal = "Journal of Applied Logic",

issn = "1570-8683",

publisher = "Elsevier",

number = "2",

}