@article{DBLP:journals/tcs/DowekG12,
  author    = {Gilles Dowek and
               Murdoch James Gabbay},
  title     = {{PNL} to {HOL:} From the logic of nominal sets to the logic of higher-order
               functions},
  journal   = {Theor. Comput. Sci.},
  volume    = {451},
  pages     = {38--69},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.tcs.2012.06.007},
  doi       = {10.1016/j.tcs.2012.06.007},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tcs/DowekG12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"xPfLC5ZAuYP5S4T8X","bibbaseid":"dowek-gabbay-pnltoholfromthelogicofnominalsetstothelogicofhigherorderfunctions-2012","authorIDs":[],"author_short":["Dowek, G.","Gabbay, M. J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gilles"],"propositions":[],"lastnames":["Dowek"],"suffixes":[]},{"firstnames":["Murdoch","James"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]}],"title":"PNL to HOL: From the logic of nominal sets to the logic of higher-order functions","journal":"Theor. Comput. Sci.","volume":"451","pages":"38–69","year":"2012","url":"https://doi.org/10.1016/j.tcs.2012.06.007","doi":"10.1016/j.tcs.2012.06.007","timestamp":"Fri, 30 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tcs/DowekG12.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tcs/DowekG12,\n author = {Gilles Dowek and\n Murdoch James Gabbay},\n title = {{PNL} to {HOL:} From the logic of nominal sets to the logic of higher-order\n functions},\n journal = {Theor. Comput. Sci.},\n volume = {451},\n pages = {38--69},\n year = {2012},\n url = {https://doi.org/10.1016/j.tcs.2012.06.007},\n doi = {10.1016/j.tcs.2012.06.007},\n timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tcs/DowekG12.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Dowek, G.","Gabbay, M. J."],"key":"DBLP:journals/tcs/DowekG12","id":"DBLP:journals/tcs/DowekG12","bibbaseid":"dowek-gabbay-pnltoholfromthelogicofnominalsetstothelogicofhigherorderfunctions-2012","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.tcs.2012.06.007"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/g/MurdochGabbay.bib","creationDate":"2020-07-27T05:55:34.211Z","downloads":0,"keywords":[],"search_terms":["pnl","hol","logic","nominal","sets","logic","higher","order","functions","dowek","gabbay"],"title":"PNL to HOL: From the logic of nominal sets to the logic of higher-order functions","year":2012,"dataSources":["8fz3gw22LB3CpDrfB"]}