{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:16Z","timestamp":1750307476190,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,7,26]],"date-time":"2010-07-26T00:00:00Z","timestamp":1280102400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,7,26]]},"DOI":"10.1145\/1836089.1836112","type":"proceedings-article","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T14:10:11Z","timestamp":1280239811000},"page":"177-186","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Relating nominal and higher-order abstract syntax specifications"],"prefix":"10.1145","author":[{"given":"Andrew","family":"Gacek","sequence":"first","affiliation":[{"name":"INRIA Saclay, Saclay, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,7,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73595-3_28"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_24"},{"key":"e_1_3_2_1_3_1","first-page":"104","volume-title":"Proceedings of the 19th International Workshop on Unification, UNIF'05","author":"Cheney J.","year":"2005"},{"key":"e_1_3_2_1_4_1","article-title":"Equivariant unification","author":"Cheney J.","year":"2009","journal-title":"Journal of Automated Reasoning"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"J.\n       \n      Cheney\n     and \n      \n      \n      C.\n       \n      Urban\n      \n  \n  . \n  Alpha-prolog: A logic programming language with names binding and alpha-equivalence. In B. Demoen and V. Lifschitz editors Logic Programming 20th International Conference volume \n  3132\n   of \n  LNCS pages \n  269\n  --\n  283\n  . \n  Springer 2004\n  .  J. Cheney and C. Urban. Alpha-prolog: A logic programming language with names binding and alpha-equivalence. In B. Demoen and V. Lifschitz editors Logic Programming 20th International Conference volume 3132 of LNCS pages 269--283. Springer 2004.","DOI":"10.1007\/978-3-540-27775-0_19"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1387673.1387675"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018438.1021850"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71070-7_13"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.12.118"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2008.33"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006430"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/138027.138060"},{"key":"e_1_3_2_1_13_1","first-page":"379","volume-title":"IEEE Symposium on Logic Programming","author":"Miller D.","year":"1987"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094622.1094628"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90068-W"},{"key":"e_1_3_2_1_16_1","first-page":"810","volume-title":"An Overview of Prolog. In Fifth International Logic Programming Conference","author":"Nadathur G.","year":"1988"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54010"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00138-X"},{"volume-title":"Int. Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'06)","year":"2006","author":"Tiu A.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9097-2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11417170_29"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.06.016"},{"volume-title":"Carnegie Mellon University","year":"1999","author":"Virga R.","key":"e_1_3_2_1_23_1"}],"event":{"name":"PPDP '10: Principles and Practice of Declarative Programming","sponsor":["Johannes Kepler University, Linz, Austria","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Hagenberg Austria","acronym":"PPDP '10"},"container-title":["Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1836089.1836112","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1836089.1836112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:51Z","timestamp":1750248531000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1836089.1836112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,26]]},"references-count":23,"alternative-id":["10.1145\/1836089.1836112","10.1145\/1836089"],"URL":"https:\/\/doi.org\/10.1145\/1836089.1836112","relation":{},"subject":[],"published":{"date-parts":[[2010,7,26]]},"assertion":[{"value":"2010-07-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}