{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T16:11:47Z","timestamp":1649175107675},"reference-count":14,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":2707,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1016\/j.entcs.2005.09.025","type":"journal-article","created":{"date-parts":[[2006,2,24]],"date-time":"2006-02-24T12:20:56Z","timestamp":1140783656000},"page":"107-117","source":"Crossref","is-referenced-by-count":0,"title":["Supporting Function Calls within PELCR"],"prefix":"10.1016","volume":"135","author":[{"given":"Antonio","family":"Cosentino","sequence":"first","affiliation":[]},{"given":"Marco","family":"Pedicini","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Quaglia","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2005.09.025_bib001","article-title":"The Optimal Implementation of Functional Programming Languages","volume":"volume 45","author":"Asperti","year":"1998"},{"key":"10.1016\/j.entcs.2005.09.025_bib002","series-title":"EACSL","first-page":"76","article-title":"Directed virtual reductions","volume":"1258","author":"Danos","year":"1997"},{"key":"10.1016\/j.entcs.2005.09.025_bib003","series-title":"LICS","first-page":"296","article-title":"Local and asynchronous beta-reduction (an analysis of Girard's EX-formula)","author":"Danos","year":"1993"},{"key":"10.1016\/j.entcs.2005.09.025_bib004","series-title":"Advances in Linear Logic","article-title":"Proof nets and the Hilbert space","author":"Danos","year":"1995"},{"key":"10.1016\/j.entcs.2005.09.025_bib005","series-title":"Logic Colloquium '88","first-page":"221","article-title":"Geometry of interaction 1: Interpretation of system F","author":"Girard","year":"1989"},{"key":"10.1016\/j.entcs.2005.09.025_bib006","series-title":"Proc. of 17th Annual ACM Symposium on Principles of Programming Languages","first-page":"16","article-title":"An algorithm for optimal lambda calculus reduction","author":"Lamping","year":"1990"},{"key":"10.1016\/j.entcs.2005.09.025_bib007","doi-asserted-by":"crossref","unstructured":"I. Mackie. The geometry of interaction machine. In POPL, pages 198\u2013208, 1995","DOI":"10.1145\/199448.199483"},{"key":"10.1016\/j.entcs.2005.09.025_bib008","series-title":"ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming","first-page":"117","article-title":"YALE: yet another lambda evaluator based on interaction nets","author":"Mackie","year":"1998"},{"key":"10.1016\/j.entcs.2005.09.025_bib009","unstructured":"M. Pedicini. Ex\u00e9cution et Programmes. PhD thesis, \u00c9quipe de Logique Math\u00e9matiques, Universit\u00e9 de Paris 7, 1999"},{"key":"10.1016\/j.entcs.2005.09.025_bib010","series-title":"PPDP '00: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming","first-page":"3","article-title":"A parallel implementation for optimal lambda-calculus reduction","author":"Pedicini","year":"2000"},{"key":"10.1016\/j.entcs.2005.09.025_bib011","unstructured":"M. Pedicini and F. Quaglia. PELCR: Parallel environment for optimal lambda-calculus reduction. CoRR, cs.LO\/0407055, accepted for publication on TOCL, ACM, 2005"},{"key":"10.1016\/j.entcs.2005.09.025_bib012","doi-asserted-by":"crossref","unstructured":"J.S. Pinto. Parallel implementation models for the lambda-calculus using the Geometry of Interaction. In TLCA, pages 385\u2013399, 2001","DOI":"10.1007\/3-540-45413-6_30"},{"key":"10.1016\/j.entcs.2005.09.025_bib013","unstructured":"J.S. Pinto. Parallel Implementation with Linear Logic (Applications of Interaction Nets and of the Geometry of Interaction). PhD thesis, \u00c9cole Polytechnique, 2001"},{"key":"10.1016\/j.entcs.2005.09.025_bib014","unstructured":"L. Regnier. Lambda-Calcul et r\u00e9seaux. PhD thesis, Universit\u00e9 Paris VII, 1992"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066106000910?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066106000910?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T02:37:01Z","timestamp":1555468621000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066106000910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["S1571066106000910"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2005.09.025","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}