{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:03Z","timestamp":1772164023848,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,27]],"date-time":"2010-09-27T00:00:00Z","timestamp":1285545600000},"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,9,27]]},"DOI":"10.1145\/1863543.1863565","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T13:41:50Z","timestamp":1285681310000},"page":"131-142","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Higher-order representation of substructural logics"],"prefix":"10.1145","author":[{"given":"Karl","family":"Crary","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,9,27]]},"reference":[{"key":"e_1_3_2_2_2_1","volume-title":"Current Trends in Hardware Verification and Automated Theorem Proving","author":"Avron Arnon","year":"1989","unstructured":"}} Arnon Avron , Furio Honsell , and Ian A. Mason . An overview of the Edinburgh Logical Framework . In Graham Birtwistle and P. A. Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving . Springer . 1989 . }}Arnon Avron, Furio Honsell, and Ian A. Mason. An overview of the Edinburgh Logical Framework. In Graham Birtwistle and P. A. Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving. Springer. 1989."},{"key":"e_1_3_2_2_3_1","volume-title":"January","author":"Avron Arnon","year":"1998","unstructured":"}} Arnon Avron , Furio Honsell , Marino Miculan , and Cristian Paravano . Encoding modal logics in logical frameworks. Studia Logica, 60(1) , January 1998 . }}Arnon Avron, Furio Honsell, Marino Miculan, and Cristian Paravano. Encoding modal logics in logical frameworks. Studia Logica, 60(1), January 1998."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328443"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788831"},{"key":"e_1_3_2_2_6_1","volume-title":"Workshop on Logical Frameworks and Meta-Languages: Theory and Practice","author":"Crary Karl","year":"2008","unstructured":"}} Karl Crary . Explicit contexts in LF . In Workshop on Logical Frameworks and Meta-Languages: Theory and Practice , Pittsburgh, Pennsylvania , 2008 . Revised version at www.cs.cmu.edu\/~crary\/papers\/2009\/excon-rev.pdf. }}Karl Crary. Explicit contexts in LF. In Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Pittsburgh, Pennsylvania, 2008. Revised version at www.cs.cmu.edu\/~crary\/papers\/2009\/excon-rev.pdf."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/138027.138060"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1042038.1042041"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352582.1352591"},{"key":"e_1_3_2_2_12_1","volume-title":"The logic of bunched implications. Bulletin of Symbolic Logic, 5(2)","author":"O'Hearn Peter W.","year":"1999","unstructured":"}} Peter W. O'Hearn and David J. Pym . The logic of bunched implications. Bulletin of Symbolic Logic, 5(2) , 1999 . }}Peter W. O'Hearn and David J. Pym. The logic of bunched implications. Bulletin of Symbolic Logic, 5(2), 1999."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129501003322"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54010"},{"key":"e_1_3_2_2_16_1","volume-title":"Version 1.4","author":"Pfenning Frank","year":"2002","unstructured":"}} Frank Pfenning and Carsten Sch\u00fcrmann . Twelf User's Guide , Version 1.4 , 2002 . Available electronically at http:\/\/www.cs.cmu.edu\/~twelf. }}Frank Pfenning and Carsten Sch\u00fcrmann. Twelf User's Guide, Version 1.4, 2002. Available electronically at http:\/\/www.cs.cmu.edu\/~twelf."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/645894.756649"}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","location":"Baltimore Maryland USA","acronym":"ICFP '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 15th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863543.1863565","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863543.1863565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:39:52Z","timestamp":1750232392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863543.1863565"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,27]]},"references-count":14,"alternative-id":["10.1145\/1863543.1863565","10.1145\/1863543"],"URL":"https:\/\/doi.org\/10.1145\/1863543.1863565","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1932681.1863565","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,9,27]]},"assertion":[{"value":"2010-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}