{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:09:38Z","timestamp":1725494978785},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653882"},{"type":"electronic","value":"9783540493662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49366-2_4","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T18:48:47Z","timestamp":1194979727000},"page":"43-60","source":"Crossref","is-referenced-by-count":5,"title":["A Polymorphic Language Which Is Typable and Poly-step"],"prefix":"10.1007","author":[{"given":"Luca","family":"Roversi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,30]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"A. Asperti. Light Affine Logic. In Proceedings of Symposium on Logic in Computer Science LICS\u201998, 1998.","DOI":"10.1109\/LICS.1998.705666"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner. Principal type-schemes for functional programs. In Proceedings of Symposium on Logic in Computer Science LICS\u201982, January 1982.","DOI":"10.1145\/582153.582176"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1006\/inco.1998.2700","volume":"143","author":"J.-Y. Girard","year":"1998","unstructured":"J.-Y. Girard. Light Linear Logic. Information and Computation, 143:175\u2013204, 1998.","journal-title":"Information and Computation"},{"key":"4_CR4","unstructured":"J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Cambridge University Press, 1989."},{"key":"4_CR5","unstructured":"C.A. Gunter. Semantics of Programming Languages: Structures and Techniques. Foundations of Computing. The MIT Press, 1992."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"M. Hoffmann. A mixed modal\/linear lambda calculus with applications to Bellantoni-Cook safe recursion. In Proceedings of Computer Science Logic 1997 (CSL\u201997), Aarhus, Denmark, volume To appear, 1997.","DOI":"10.1007\/BFb0028020"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/FI-1993-191-207","volume":"19","author":"D. Leivant","year":"1993","unstructured":"D. Leivant and J.-Y. Marion. Lambda calculus characterizations of poly-time. Fundamenta Informaticae, 19:167\u2013184, 1993.","journal-title":"Fundamenta Informaticae"},{"key":"4_CR8","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, 1990."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. Plotkin","year":"1975","unstructured":"G. Plotkin. Call-by-name, call-by-value and the \u03bb-calculus. Theoretical Computer Science, 1:125\u2013159, 1975.","journal-title":"Theoretical Computer Science"},{"key":"4_CR10","unstructured":"L. Roversi. Concrete syntax for intuitionistic light affine logic with polymorphic type assignment. In Theoretical Computer Science: Proceedings of the Sixth Italian Conference (Prato). World Scientific (TO APPEAR), 9\u201311 November 1998."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science ASIAN 98"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49366-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T18:03:53Z","timestamp":1684087433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49366-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653882","9783540493662"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-49366-2_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}