{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T22:10:26Z","timestamp":1740262226313,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540257837"},{"type":"electronic","value":"9783540319535"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11422532_7","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T02:15:43Z","timestamp":1278987343000},"page":"101-113","source":"Crossref","is-referenced-by-count":0,"title":["Lambek-Calculus with General Elimination Rules and Continuation Semantics"],"prefix":"10.1007","author":[{"given":"Nissim","family":"Francez","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/A:1022183511876","volume":"10","author":"C. Barker","year":"2002","unstructured":"Barker, C.: Continuation and the nature of quantification. Natural Language Semantics\u00a010, 211\u2013242 (2002)","journal-title":"Natural Language Semantics"},{"key":"7_CR2","unstructured":"Barker, C.: Continuation in natural language. In: Thielecke, H. (ed.) Proceedings of the Fourth ACM SIGPLAN Continuations Workshop, CW 2004 (2004)"},{"key":"7_CR3","first-page":"97","volume-title":"Proceedings of the thirteenth Amsterdam Colloquium","author":"P. Groote de","year":"2001","unstructured":"de Groote, P.: Type raising, continuations, and classical logic. In: van Rooy, R., Stokhof, M. (eds.) Proceedings of the thirteenth Amsterdam Colloquium, pp. 97\u2013101. ILLC, Amsterdam (2001)"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s00153-002-0156-9","volume":"42","author":"F. Joachimski","year":"2003","unstructured":"Joachimski, F., Matthes, R.: Short proofs of normalization for a lambda calculus, permutative conversions and G\u00f6del\u2019s T. Archives for Mathematical Logic\u00a042(1), 59\u201387 (2003)","journal-title":"Archives for Mathematical Logic"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. Amer. Math. monthly\u00a065, 154\u2013170 (1958)","journal-title":"Amer. Math. monthly"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/B978-044481714-3\/50005-9","volume-title":"Handbook of Logic and Language","author":"M. Moortgat","year":"1997","unstructured":"Moortgat, M.: Categorial type logics. In: van Benthemand, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 93\u2013178. North Holland, Amsterdam (1997)"},{"issue":"6","key":"7_CR7","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1023\/A:1021264102972","volume":"32","author":"S. Negri","year":"2002","unstructured":"Negri, S.: Varieties of linear calculi. J. of Phil. Logic\u00a032(6), 569\u2013590 (2002)","journal-title":"J. of Phil. Logic"},{"key":"7_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S. Negri","year":"2001","unstructured":"Negri, S., Von Plato, J.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1017\/S0960129501003322","volume":"11","author":"F. Pfenning","year":"2001","unstructured":"Pfenning, F., Davies, R.: A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science\u00a011, 511\u2013540 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/s001530100091","volume":"40","author":"J. Plato Von","year":"2001","unstructured":"Von Plato, J.: Natural deduction with general elimination rules. Archive Mathematical Logic\u00a040, 541\u2013567 (2001)","journal-title":"Archive Mathematical Logic"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G.D. Plotkin","year":"1975","unstructured":"Plotkin, G.D.: Call-by-name, call-by-value and the \u03bb-calculus. Theoretical Computer Science\u00a01(2), 125\u2013159 (1975)","journal-title":"Theoretical Computer Science"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-48959-2_21","volume-title":"Typed Lambda Calculi and Applications","author":"J. Polakow","year":"1999","unstructured":"Polakow, J., Pfenning, F.: Natural deduction for intuitionistic non-commutative linear logic. In: Girard, J.-Y. (ed.) TLCA 1999. LNCS, vol.\u00a01581, pp. 295\u2013309. Springer, Heidelberg (1999)"},{"key":"7_CR13","volume-title":"Natural Deduction: Proof-Theoretical Study","author":"D. Prawitz","year":"1965","unstructured":"Prawitz, D.: Natural Deduction: Proof-Theoretical Study. Almqvist and Wicksell, Stockholm (1965)"},{"key":"7_CR14","volume-title":"Proc. 2nd Scandinavian Symposium","author":"D. Prawitz","year":"1971","unstructured":"Prawitz, D.: Ideas and results in proof theory. In: Fenstad, J. (ed.) Proc. 2nd Scandinavian Symposium, North-Holland, Amsterdam (1971)"},{"key":"7_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6591.001.0001","volume-title":"The Syntactic Process","author":"M. Steedman","year":"2000","unstructured":"Steedman, M.: The Syntactic Process. MIT Press, Cambridge (2000)"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11422532_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T21:31:37Z","timestamp":1740259897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11422532_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540257837","9783540319535"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11422532_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}