{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:40:19Z","timestamp":1737348019620,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419600"},{"type":"electronic","value":"9783540454137"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45413-6_30","type":"book-chapter","created":{"date-parts":[[2007,8,4]],"date-time":"2007-08-04T08:51:43Z","timestamp":1186217503000},"page":"385-399","source":"Crossref","is-referenced-by-count":9,"title":["Parallel Implementation Models for the \u03bb-Calculus Using the Geometry of Interaction (Extended Abstract)"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Sousa Pinto","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,25]]},"reference":[{"key":"30_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Computer Science Logic, 10th International Workshop, CSL\u2019 96","author":"V. Danos","year":"1997","unstructured":"Vincent Danos, Marco Pedicini, and Laurent Regnier. Directed virtual reductions. In M. Bezem and D. van Dalen, editors, Computer Science Logic, 10th International Workshop, CSL\u2019 96, volume 1258 of Lecture Notes in Computer Science. Springer Verlag, 1997."},{"doi-asserted-by":"crossref","unstructured":"Vincent Danos and Laurent Regnier. Local and asynchronous beta-reduction (an analysis of Girard\u2019s execution formula). In Proceedings of the 8th Annual IEEE Symposium on Logic in Computer Science (LICS\u201993), pages 296\u2013306. IEEE Computer Society Press, 1993.","key":"30_CR2","DOI":"10.1109\/LICS.1993.287578"},{"doi-asserted-by":"crossref","unstructured":"Vincent Danos and Laurent Regnier. Proof-nets and the Hilbert space. In Jean-Yves Girard, Yves Lafont, and Laurent Regnier, editors, Advances in Linear Logic, number 222 in London Mathematical Society Lecture Note Series, pages 307\u2013328. 1995.","key":"30_CR3","DOI":"10.1017\/CBO9780511629150.016"},{"issue":"1","key":"30_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear Logic. Theoretical Computer Science, 50(1):1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"30_CR5","series-title":"Lect Notes Comput Sci","first-page":"76","volume-title":"International Conference on Computer Logic, COLOG 88","author":"J.-Y. Girard","year":"1988","unstructured":"Jean-Yves Girard. Geometry of interaction 2: Deadlock-free algorithms. In Per Martin-L\u00f6f and G. Mints, editors, International Conference on Computer Logic, COLOG 88, pages 76\u201393. Springer-Verlag, 1988. Lecture Notes in Computer Science 417."},{"key":"30_CR6","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0049-237X(08)70271-4","volume-title":"Logic Colloquium 88","author":"J.-Y. Girard","year":"1989","unstructured":"Jean-Yves Girard. Geometry of interaction 1: Interpretation of System F. In R. Ferro, C. Bonotto, S. Valentini, and A. Zanardo, editors, Logic Colloquium 88, volume 127 of Studies in Logic and the Foundations of Mathematics, pages 221\u2013260. North Holland Publishing Company, Amsterdam, 1989."},{"doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. Geometry of interaction III: accommodating the additives. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic, number 222 in London Mathematical Society Lecture Note Series, pages 329\u2013389. 1995.","key":"30_CR7","DOI":"10.1017\/CBO9780511629150.017"},{"doi-asserted-by":"crossref","unstructured":"Georges Gonthier, Mart\u00edn Abadi, and Jean-Jacques L\u00e9vy. Linear logic without boxes. In Proceedings of the 7th IEEE Symposium on Logic in Computer Science (LICS\u201992), pages 223\u2013234. IEEE Press, 1992.","key":"30_CR8","DOI":"10.1109\/LICS.1992.185535"},{"unstructured":"Ian Mackie. The Geometry of Implementation. PhD thesis, Department of Computing, Imperial College of Science, Technology and Medicine, September 1994.","key":"30_CR9"},{"doi-asserted-by":"crossref","unstructured":"Ian Mackie. The geometry of interaction machine. In Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL\u201995), pages 198\u2013208. ACM Press, January 1995.","key":"30_CR10","DOI":"10.1145\/199448.199483"},{"doi-asserted-by":"crossref","unstructured":"M. Pedicini and F. Quaglia. A parallel implementation for optimal lambda-calculus reduction. In Proceedings of the 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000). ACM press, 2000.","key":"30_CR11","DOI":"10.1145\/351268.351270"},{"unstructured":"Jorge Sousa Pinto. Parallel Implementation with Linear Logic (Applications of Interaction Nets and of the Geometry of Interaction). PhD thesis, \u00e9cole Polytechnique, 2001.","key":"30_CR12"},{"unstructured":"Laurent Regnier. Lambda-Calcul et R\u00e9seaux. PhD thesis, Universit\u00e9 Paris VII, January 1992.","key":"30_CR13"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45413-6_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T03:55:20Z","timestamp":1737345320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45413-6_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419600","9783540454137"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45413-6_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}