{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T17:05:45Z","timestamp":1776013545282,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540600176","type":"print"},{"value":"9783540494041","type":"electronic"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022251","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:12:29Z","timestamp":1132639949000},"page":"121-135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":93,"title":["A mixed linear and non-linear logic: Proofs, terms and models"],"prefix":"10.1007","author":[{"given":"P. N.","family":"Benton","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"9_CR1","volume-title":"Technical Report CSI-R9328","author":"E. Barendsen","year":"1993","unstructured":"E. Barendsen and S. Smetsers. Conventional and uniqueness typing in graph rewrite systems. Technical Report CSI-R9328, Katholieke Universiteit Nijmegen, December 1993."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"P. N. Benton. A mixed linear and non-linear logic: Proofs, terms and models (preliminary report). Technical Report 352, Computer Laboratory, University of Cambridge, September 1994.","DOI":"10.1007\/BFb0022251"},{"key":"9_CR3","unstructured":"P. N. Benton. Strong normalisation for the linear term calculus. Journal of Functional Programming, 1995. To appear. Also available as Technical Report 305, University of Cambridge Computer Laboratory, July 1993."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"P. N. Benton, G. M. Bierman, J. M. E. Hyland, and V. C. V. de Paiva. Linear lambda calculus and categorical models revisited. In E. B\u00f6rger et al., editor, Selected Papers from Computer Science Logic '92, volume 702 of Lecture Notes in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56992-8_6"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"P. N. Benton, G. M. Bierman, J. M. E. Hyland, and V. C. V. de Paiva. A term calculus for intuitionistic linear logic. In M. Bezem and J. F. Groote, editors, Proceedings of the International Conference on Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0037099"},{"key":"9_CR6","unstructured":"G. M. Bierman. On intuitionistic linear logic (revised version of PhD thesis). Technical Report 346, Computer Laboratory, University of Cambridge, August 1994."},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0168-0072(93)90093-S","volume":"59","author":"J.-Y. Girard","year":"1993","unstructured":"J.-Y. Girard. On the unity of logic. Annals of Pure and Applied Logic, 59:201\u2013217, 1993.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9_CR9","unstructured":"B. Jacobs. Conventional and linear types in a logic of coalgebras. Preprint, University of Utrecht, April 1993."},{"key":"9_CR10","unstructured":"P. Lincoln and J. C. Mitchell. Operational aspects of linear lambda calculus. In Proceedings of the 7th Annual Symposium on Logic in Computer Science. IEEE, 1992."},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"E. Moggi. Notions of computation and monads. Information and Computation, 93:55\u201392, 1991.","journal-title":"Information and Computation"},{"key":"9_CR12","unstructured":"G. D. Plotkin. Type theory and recursion (abstract). In Proceedings of 8th Conference on Logic in Computer Science. IEEE Computer Society Press, 1993."},{"key":"9_CR13","unstructured":"R. A. G. Seely. Linear logic, *-autonomous categories and cofree coalgebras. In Conference on Categories in Computer Science and Logic, volume 92 of AMS Contemporary Mathematics, June 1980."},{"key":"9_CR14","volume-title":"DAIMI PB-397-I","author":"P. Wadler","year":"1992","unstructured":"P. Wadler. There's no substitute for linear logic (projector slides). In G. Winskel, editor, Proceedings of the CLICS Workshop (Part I), March 1992, Aarhus, Denmark, May 1992. Available as DAIMI PB-397-I Computer Science Department, Aarhus University."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"P. Wadler. A taste of linear logic. In A. M. Borzyszkowski and S. Sokolowski, editors, Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, number 711 in Lecture Notes in Computer Science, pages 185\u2013210, 1993.","DOI":"10.1007\/3-540-57182-5_12"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022251","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T04:25:14Z","timestamp":1578543914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022251"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0022251","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"15 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}