{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:57Z","timestamp":1751983677019},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:09:01Z","timestamp":1330258141000},"page":"185-210","source":"Crossref","is-referenced-by-count":17,"title":["A taste of linear logic"],"prefix":"10.1007","author":[{"given":"Philip","family":"Wadler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"12_CR1","unstructured":"S. Abramsky, Computational interpretations of linear logic. Presented at Workshop on Mathematical Foundations of Programming Language Semantics, 1990. To appear in Theoretical Computer Science."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"N. Benton, G. Bierman, V. de Paiva, and M. Hyland, Type assignment for intuitionistic linear logic. Draft paper, August 1992.","DOI":"10.1007\/BFb0037099"},{"key":"12_CR3","volume-title":"Linear ML","author":"J. Chirimar","year":"1992","unstructured":"J. Chirimar, C. A. Gunter, and J. G. Riecke. Linear ML. In Symposium on Lisp and Functional Programming, ACM Press, San Francisco, June 1992."},{"key":"12_CR4","unstructured":"H. B. Curry and R. Feys, Combinatory Logic, North Holland, 1958."},{"key":"12_CR5","unstructured":"J.-Y. Girard, Interpr\u00e9tation functionelle et \u00e9limination des coupures dans l'arithm\u00e9tique d'ordre sup\u00e9rieure. Ph.D. thesis, Universit\u00e9 Paris VII, 1972."},{"key":"12_CR6","doi-asserted-by":"crossref","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":"12_CR7","unstructured":"J.-Y. Girard, On the unity of logic. Manuscript, 1991."},{"key":"12_CR8","unstructured":"J.-Y. Girard, Y. Lafont, and P. Taylor, Proofs and types, Cambridge University Press, 1989."},{"key":"12_CR9","first-page":"29","volume":"146","author":"R. Hindley","year":"1969","unstructured":"R. Hindley, The principal type scheme of an object in combinatory logic. Trans. Am. Math. Soc., 146:29\u201360, December 1969.","journal-title":"Trans. Am. Math. Soc."},{"key":"12_CR10","unstructured":"S. Holmstr\u00f6m, A linear functional language. Draft paper, Chalmers University of Technology, 1988."},{"key":"12_CR11","unstructured":"W. A. Howard, The formulae-as-types notion of contstruction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, Academic Press, 1980. (The original version was circulated privately in 1969.)"},{"key":"12_CR12","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0304-3975(88)90100-4","volume":"59","author":"Y. Lafont","year":"1988","unstructured":"Y. Lafont, The linear abstract machine. Theoretical Computer Science, 59:157\u2013180, 1988.","journal-title":"Theoretical Computer Science"},{"key":"12_CR13","volume-title":"Operational aspects of linear lambda calculus","author":"P. Lincoln","year":"1992","unstructured":"P. Lincoln and J. Mitchell, Operational aspects of linear lambda calculus. In 7'th Symposium on Logic in Computer Science, IEEE Press, Santa Cruz, California, June 1992."},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner, A theory of type polymorphism in programming. J. Comput. Syst. Sci., 17:348\u2013375, 1978.","journal-title":"J. Comput. Syst. Sci."},{"key":"12_CR15","unstructured":"V. Pratt, Event spaces and their linear logic. In AMAST '91: Algebraic Methodology And Software Technology, Iowa City, Springer Verlag LNCS, 1992."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"U. S. Reddy, A typed foundation for directional logic programming. In E. Lamma and P. Mello, editors, Extensions of logic programming, Lecture Notes in Artificial Intelligence 660, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56454-3_15"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"J. C. Reynolds, Towards a theory of type structure. In B. Robinet, editor, Proc. Colloque sur la Programmation, LNCS 19, Springer-Verlag.","DOI":"10.1007\/3-540-06859-7_148"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"J. C. Reynolds, Three approaches to type structure. In Mathematical Foundations of Software Development, LNCS 185, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15198-2_7"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"R. A. G. Seely, Linear logic, *-autonomous categories, and cofree coalgebras. In Categories in Computer Science and Logic, June 1989. AMS Contemporary Mathematics 92.","DOI":"10.1090\/conm\/092\/1003210"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"A. S. Troelstra, Lectures on Linear Logic. CSLI Lecture Notes, 1992.","DOI":"10.1093\/oso\/9780198537779.003.0013"},{"key":"12_CR21","volume-title":"Programming Concepts and Methods","author":"P. Wadler","year":"1990","unstructured":"P. Wadler, Linear types can change the world! In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, April 1990. Published as M. Broy and C. Jones, editors, Programming Concepts and Methods, North Holland, 1990."},{"key":"12_CR22","volume-title":"Is there a use for linear logic?","author":"P. Wadler","year":"1991","unstructured":"P. Wadler, Is there a use for linear logic? In Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), ACM Press, New Haven, Connecticut, June 1991."},{"key":"12_CR23","unstructured":"P. Wadler, There's no substitute for linear logic. Presented at Workshop on Mathematical Foundations of Programming Language Semantics, Oxford, April 1992."},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"P. Wadler, A syntax for linear logic. Presented at Conference on Mathematical Foundations of Programming Language Semantics, New Orleans, April 1993.","DOI":"10.1007\/3-540-58027-1_24"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T15:08:33Z","timestamp":1713625713000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}