Foundations of nominal techniques: logic and semantics of variables in abstract syntax

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

Access to Document

@article{2f0a5e7aa35d4d64ab8ef9d81bf3a975,

title = "Foundations of nominal techniques: logic and semantics of variables in abstract syntax",

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

year = "2011",

month = jun,

day = "1",

doi = "10.2178/bsl/1305810911",

language = "English",

volume = "17",

pages = "161--229",

journal = "Bulletin of Symbolic Logic",

issn = "1079-8986",

publisher = "Cambridge University Press",

number = "2",

}