PNL to HOL: From the logic of nominal sets to the logic of higher-order functions

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

Original language	English
Pages (from-to)	38-69
Journal	Theoretical Computer Science
Volume	451
Issue number	n/a
DOIs	https://doi.org/10.1016/j.tcs.2012.06.007
Publication status	Published - 1 Sept 2012

Access to Document

@article{87346676786245b297175c09a43824f0,

title = "PNL to HOL: From the logic of nominal sets to the logic of higher-order functions",

author = "Gilles Dowek and Gabbay, {Murdoch J.}",

year = "2012",

month = sep,

day = "1",

doi = "10.1016/j.tcs.2012.06.007",

language = "English",

volume = "451",

pages = "38--69",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "n/a",

}