@article{DBLP:journals/fac/GabbayP02,
  author    = {Murdoch Gabbay and
               Andrew M. Pitts},
  title     = {A New Approach to Abstract Syntax with Variable Binding},
  journal   = {Formal Asp. Comput.},
  volume    = {13},
  number    = {3-5},
  pages     = {341--363},
  year      = {2002},
  url       = {https://doi.org/10.1007/s001650200016},
  doi       = {10.1007/s001650200016},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fac/GabbayP02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"zoBrodHzw9Ev2Rv5p","bibbaseid":"gabbay-pitts-anewapproachtoabstractsyntaxwithvariablebinding-2002","authorIDs":[],"author_short":["Gabbay, M.","Pitts, A. M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Murdoch"],"propositions":[],"lastnames":["Gabbay"],"suffixes":[]},{"firstnames":["Andrew","M."],"propositions":[],"lastnames":["Pitts"],"suffixes":[]}],"title":"A New Approach to Abstract Syntax with Variable Binding","journal":"Formal Asp. Comput.","volume":"13","number":"3-5","pages":"341–363","year":"2002","url":"https://doi.org/10.1007/s001650200016","doi":"10.1007/s001650200016","timestamp":"Tue, 06 Jun 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/fac/GabbayP02.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fac/GabbayP02,\n author = {Murdoch Gabbay and\n Andrew M. Pitts},\n title = {A New Approach to Abstract Syntax with Variable Binding},\n journal = {Formal Asp. Comput.},\n volume = {13},\n number = {3-5},\n pages = {341--363},\n year = {2002},\n url = {https://doi.org/10.1007/s001650200016},\n doi = {10.1007/s001650200016},\n timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/fac/GabbayP02.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gabbay, M.","Pitts, A. M."],"key":"DBLP:journals/fac/GabbayP02","id":"DBLP:journals/fac/GabbayP02","bibbaseid":"gabbay-pitts-anewapproachtoabstractsyntaxwithvariablebinding-2002","role":"author","urls":{"Paper":"https://doi.org/10.1007/s001650200016"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/g/MurdochGabbay.bib","creationDate":"2020-07-27T05:55:34.386Z","downloads":0,"keywords":[],"search_terms":["new","approach","abstract","syntax","variable","binding","gabbay","pitts"],"title":"A New Approach to Abstract Syntax with Variable Binding","year":2002,"dataSources":["8fz3gw22LB3CpDrfB"]}