{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:18Z","timestamp":1725487098629},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540734437"},{"type":"electronic","value":"9783540734451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73445-1_9","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T06:32:08Z","timestamp":1183444328000},"page":"120-130","source":"Crossref","is-referenced-by-count":0,"title":["On Principal Types of BCK-\u03bb-Terms"],"prefix":"10.1007","author":[{"given":"Sabine","family":"Broda","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Damas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0304-3975(99)00086-9","volume":"247","author":"S. Broda","year":"2000","unstructured":"Broda, S., Damas, L.: On principal types of combinators. Theoretical Computer Science\u00a0247, 277\u2013290 (2000)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"9_CR2","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1093\/logcom\/exi016","volume":"15","author":"S. Broda","year":"2005","unstructured":"Broda, S., Damas, L.: On Long Normal Inhabitants of a Type. Journal of Logic and Computation\u00a015(3), 353\u2013390 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0037105","volume-title":"Typed Lambda Calculi and Applications","author":"P.. Groote de","year":"1993","unstructured":"de Groote, P.: The Conservation Theorem revisited. In: Bezem, M., Groote, J.F. (eds.) TLCA 1993. LNCS, vol.\u00a0664, pp. 163\u2013178. Springer, Heidelberg (1993)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0304-3975(89)90100-X","volume":"64","author":"J.R. Hindley","year":"1989","unstructured":"Hindley, J.R.: BCK-combinators and linear \u03bb-terms have types. Theoretical Computer Science\u00a064, 97\u2013105 (1989)","journal-title":"Theoretical Computer Science"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"90","DOI":"10.2307\/2274956","volume":"55","author":"J.R. Hindley","year":"1990","unstructured":"Hindley, J.R., Meredith, D.: Principal type-schemes and condensed detachment. Journal of Symbolic Logic\u00a055, 90\u2013105 (1990)","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1305\/ndjfl\/1093634655","volume":"34","author":"J.R. Hindley","year":"1993","unstructured":"Hindley, J.R.: BCK and BCI logics, condensed detachment and the 2-property. Notre Dame J. Formal Logic\u00a034(2), 231\u2013250 (1993)","journal-title":"Notre Dame J. Formal Logic"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/0304-3975(93)90171-O","volume":"107","author":"S. Hirokawa","year":"1993","unstructured":"Hirokawa, S.: Principal types of BCK-lambda-terms. Theoretical Computer Science\u00a0107, 253\u2013276 (1993)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1093\/logcom\/3.3.269","volume":"3","author":"S. Hirokawa","year":"1993","unstructured":"Hirokawa, S.: The Relevance Graph of a BCK-Formula. Journal of Logic and Computation\u00a03(3), 269\u2013285 (1993)","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73445-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T06:05:03Z","timestamp":1547877903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73445-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540734437","9783540734451"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73445-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}