{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,7]],"date-time":"2025-03-07T00:47:59Z","timestamp":1741308479223,"version":"3.38.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,7,7]],"date-time":"2011-07-07T00:00:00Z","timestamp":1309996800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci. China"],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s11704-011-9106-1","type":"journal-article","created":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T23:31:09Z","timestamp":1309995069000},"page":"369-380","source":"Crossref","is-referenced-by-count":0,"title":["Static typing for a substructural lambda calculus"],"prefix":"10.1007","volume":"5","author":[{"given":"Baojian","family":"Hua","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,7,7]]},"reference":[{"key":"9106_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. Girard","year":"1987","unstructured":"Girard J Y. Linear logic. Theoretical Computer Science, 1987, 50: 1\u2013102","journal-title":"Linear logic. Theoretical Computer Science"},{"issue":"3","key":"9106_CR2","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0168-0072(93)90093-S","volume":"59","author":"J. Y. Girard","year":"1993","unstructured":"Girard J Y. On the uinty of logic. Annals of Pure and Applied Logic, 1993, 59(3): 201\u2013217","journal-title":"Annals of Pure and Applied Logic"},{"key":"9106_CR3","doi-asserted-by":"crossref","unstructured":"Wadler P. Linear types can change the world! In: Proceedings of IFIP TC 2 Working Conference on Programming Concepts and Methods. 1990, 347\u2013359","DOI":"10.1145\/99370.99404"},{"key":"9106_CR4","doi-asserted-by":"crossref","unstructured":"Wadler P. Is there a use for linear logic? In: Proceedings of the 1991 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. 1991, 255\u2013273","DOI":"10.1145\/115866.115894"},{"key":"9106_CR5","doi-asserted-by":"crossref","unstructured":"Walker D, Watkins K. On regions and linear types (extended abstract). In: Proceedings of the 6th ACM SIGPLAN International Conference on Functional Programming. 2001, 181\u2013192","DOI":"10.1145\/507669.507658"},{"key":"9106_CR6","doi-asserted-by":"crossref","unstructured":"Wansbrough K, Jones S P. Once upon a polymorphic type. In: Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1999, 15\u201328","DOI":"10.1145\/292540.292545"},{"key":"9106_CR7","doi-asserted-by":"crossref","unstructured":"Kobayashi N. Quasi-linear types. In: Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of Programming Languages. 1999, 29\u201342","DOI":"10.1145\/292540.292546"},{"key":"9106_CR8","doi-asserted-by":"crossref","unstructured":"Polakow J. Linear logic programming with an ordered context. In: Proceedings of the 2nd ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. 2000, 68\u201379","DOI":"10.1145\/351268.351277"},{"key":"9106_CR9","unstructured":"Polakow J, Pfenning F. Ordered linear logic programming. Technical Report CMU-CS-98-183, Department of Computer Science, Carnegie Mellon University, December 1998"},{"key":"9106_CR10","doi-asserted-by":"crossref","unstructured":"Smith F, Walker D, Morrisett J G. Alias types. In: Proceedings of 9th European Symposium on Programming. 2000, 366\u2013381","DOI":"10.1007\/3-540-46425-5_24"},{"key":"9106_CR11","doi-asserted-by":"crossref","unstructured":"Mandelbaum Y, Walker D, Harper R. An effective theory of type refinements. In: Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming. 2003, 213\u2013226","DOI":"10.1145\/944705.944725"},{"key":"9106_CR12","volume-title":"Advanced Topics in Types and Programming Languages","author":"D. Walker","year":"2005","unstructured":"Walker D. Substructural type systems. In: Pierce B C, eds, Advanced Topics in Types and Programming Languages. Cambridge: MIT Press, 2005"},{"key":"9106_CR13","volume-title":"The C Programming Language","author":"B. W. Kernighan","year":"1988","unstructured":"Kernighan B W, Ritchie D M. The C Programming Language. Upper Saddle River: Prentice-Hall, 1988"},{"key":"9106_CR14","doi-asserted-by":"crossref","unstructured":"Foster J S, F\u00e4hndrich M, Aiken A. A theory of type qualifiers. In: Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation. 1999, 192\u2013203","DOI":"10.1145\/301631.301665"},{"key":"9106_CR15","doi-asserted-by":"crossref","unstructured":"Foster J S, Terauchi T, Aiken A. Flow-sensitive type qualifiers. In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation. 2002, 1\u201312","DOI":"10.1145\/512529.512531"},{"key":"9106_CR16","volume-title":"Ordered linear logic and applications","author":"J. Polakow","year":"2001","unstructured":"Polakow J. Ordered linear logic and applications. Dissertation for the Doctoral Degree. Pittsburgh: Carnegie Mellon University, 2001"}],"container-title":["Frontiers of Computer Science in China"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-011-9106-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-011-9106-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-011-9106-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T23:59:35Z","timestamp":1741305575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-011-9106-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,7]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["9106"],"URL":"https:\/\/doi.org\/10.1007\/s11704-011-9106-1","relation":{},"ISSN":["1673-7350","1673-7466"],"issn-type":[{"type":"print","value":"1673-7350"},{"type":"electronic","value":"1673-7466"}],"subject":[],"published":{"date-parts":[[2011,7,7]]}}}