{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:15:32Z","timestamp":1725459332613},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540565175"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0037107","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:21:36Z","timestamp":1138202496000},"page":"195-208","source":"Crossref","is-referenced-by-count":4,"title":["Semantics of lambda-I and of other substructure lambda calculi"],"prefix":"10.1007","author":[{"given":"Bart","family":"Jacobs","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"S.J. Ambler, \u2018First Order Linear Logic in Symmetric Monoidal Closed Categories', PhD. Thesis, Univ. of Edinburgh 1992. Techn. Rep. CST-87-92."},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(92)90297-S","volume":"102-2","author":"S. Bakel van","year":"1992","unstructured":"S. van Bakel, \u2018Complete restrictions of the intersection type discipline', Theor. Computer Science, vol. 102-2 (1992), pp. 135\u2013163.","journal-title":"Theor. Computer Science"},{"key":"14_CR3","volume-title":"Its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"H.P. Barendregt, The Lambda Calculus. Its Syntax and Semantics, 2nd rev. ed. (North-Holland, Amsterdam, 1984).","edition":"2nd rev. ed."},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"931","DOI":"10.2307\/2273659","volume":"48-4","author":"H.P. Barendregt","year":"1983","unstructured":"H.P. Barendregt, M. Coppo and M. Dezani-Ciancaglini, \u2018A filter lambda model and the completeness of type assignment', Journ. Symbolic Logic 48-4 (1983), pp. 931\u2013940.","journal-title":"Journ. Symbolic Logic"},{"key":"14_CR5","unstructured":"B. Jacobs, Notes of a talk held at the 48th PSLL, Edinburgh, 9\/10 nov. 1991."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"B. Jacobs, 'simply Typed and Untyped Lambda Calculus Revisited', in Applications of Categories in Computer Science edited by M.P. Fourman and P.T. Johnstone and A.M. Pitts, LMS vol. 177 (Cambridge Univ. Press, 1992), pp. 119\u2013142.","DOI":"10.1017\/CBO9780511525902.008"},{"key":"14_CR7","unstructured":"B. Jacobs, 'semantics of Weakening and Contraction', manuscript, May 1992."},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0304-3975(92)90070-V","volume":"95-2","author":"B. Jacobs","year":"1992","unstructured":"B. Jacobs, I. Margaria and M. Zacchi, \u2018Filter models with polymorphic types', Theor. Computer Science 95-2 (1992), pp. 143\u2013158.","journal-title":"Theor. Computer Science"},{"key":"14_CR9","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"S. MacLane Categories for the Working Mathematician, (Springer, Berlin, 1971)."},{"key":"14_CR10","first-page":"403","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"D.S. Scott","year":"1980","unstructured":"D.S. Scott, \u2018Relating theories of the \u03bb-calculus', in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism edited by J.R. Hindley and J.P. Seldin (Academic Press, New York and London, 1980), pp. 403\u2013450."}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037107.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:22:03Z","timestamp":1607552523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037107"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540565175"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0037107","relation":{},"subject":[]}}