{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:13:01Z","timestamp":1729635181917,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.1994.316084","type":"proceedings-article","created":{"date-parts":[[2002,12,17]],"date-time":"2002-12-17T09:36:54Z","timestamp":1040117814000},"page":"82-91","source":"Crossref","is-referenced-by-count":8,"title":["A fully abstract semantics for concurrent graph reduction"],"prefix":"10.1109","author":[{"given":"A.","family":"Jeffrey","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58027-1_14"},{"journal-title":"A fully abstract semantics for concurrent graph reduction","year":"1993","author":"jeffrey","key":"ref11"},{"journal-title":"The Gofer technical manual Part of the Gofer distribution","year":"1992","key":"ref12"},{"journal-title":"Term Graph Rewriting Theory and Practice","year":"1993","author":"kennaway","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96711"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"journal-title":"Combinator Graph Reduction A Congruence and its Applications","year":"1989","author":"lester","key":"ref16"},{"key":"ref17","first-page":"159","author":"l\ufffdvy","year":"1980","journal-title":"To H B Curry Essays on combinatory logic lambda calculus and formalism"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90053-6"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref19"},{"key":"ref4","first-page":"141","article-title":"Term graph rewriting","volume":"2","author":"barendregt","year":"1987","journal-title":"Proc PARLE'87"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2307\/2273659"},{"journal-title":"Lambda-calculi for (strict) parallel functions","year":"1992","author":"boudol","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96717"},{"journal-title":"Ponder and its type system","year":"1982","author":"fairburn","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/800186.810604"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802038"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1145\/130697.130699","article-title":"A report on the functional language Haskell","author":"hudak","year":"1992","journal-title":"SIGPlan Notices"},{"journal-title":"Declarative Programming","year":"1989","author":"abramsky","key":"ref1"},{"key":"ref20","article-title":"The polyadic ?-calculus: a tutorial","author":"milner","year":"1991","journal-title":"Proceedings of the International Summer School on Logic and Algebra of Specification"},{"journal-title":"The Implementation of Functional Programming Languages","year":"1987","author":"peyton jones","key":"ref22"},{"journal-title":"The Lazy Lambda Calculus An Investigation into the Foundations of Functional Programming","year":"1988","author":"ong","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55253-7_26"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90044-5"},{"journal-title":"Semantics and pragmatics of the lambda calculus","year":"1971","author":"wadsworth","key":"ref26"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-15975-4_26","article-title":"Miranda: A non-strict functional language with polymorphic types","author":"turner","year":"1985","journal-title":"Proc Conf Functional Programming Languages Computer Architecture"}],"event":{"name":"Ninth Annual IEEE Symposium on Logic in Computer Science","acronym":"LICS-94","location":"Paris, France"},"container-title":["Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/990\/7621\/00316084.pdf?arnumber=316084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T12:26:36Z","timestamp":1497529596000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/316084\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/lics.1994.316084","relation":{},"subject":[]}}