{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:24Z","timestamp":1725663084641},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540185086"},{"type":"electronic","value":"9783540480068"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18508-9_28","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T14:36:25Z","timestamp":1330180585000},"page":"219-237","source":"Crossref","is-referenced-by-count":5,"title":["An interval model for second order lambda calculus"],"prefix":"10.1007","author":[{"given":"Simone","family":"Martini","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"12_CR1","unstructured":"Amadio, R., Bruce, K., Longo, G. [1986] \u201cThe Finitary Projection Model and the solution of higher order domain equations\u201d, Proceedings LICS 86, IEEE (pp.122\u2013130)."},{"key":"12_CR2","unstructured":"Barendregt, H. [1984], The lambda calculus; its syntax and semantics, Revised edition, North Holland."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Bruce K., Meyer A. [1984] \u201cThe semantics of second order polymorphic lambda-calculus\u201d, Symposium on Semantics of Data Types (Kahn, MacQueen, Plotkin eds.), LNCS 173, Springer-Verlag (pp. 131\u2013144).","DOI":"10.1007\/3-540-13346-1_6"},{"key":"12_CR4","unstructured":"Bruce, K., Meyer, A., Mitchell, J. [1985] \u201cThe semantics of second order lambda-calculus\u201d, Information and Control (to appear)."},{"key":"12_CR5","unstructured":"Cardelli, L. [1985] \u201cSemantics of multiple inheritance\u201d, Information and Control (to appear)."},{"issue":"4","key":"12_CR6","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P. [1985] \u201cOn understanding types, data abstraction and polymorphism\u201d, Computing Surveys, vol 17(4) (pp. 471\u2013522).","journal-title":"Computing Surveys"},{"key":"12_CR7","unstructured":"Cartwright R. [1984] \u201cTypes as Intervals\u201d, Proc. Popl 84, ACM."},{"key":"12_CR8","unstructured":"Di Gianantonio, P. [1987] \u201cThe subtype relation in the interval model\u201d (in italian), Master Thesis, Dip. di Informatica, Univ. di Pisa."},{"key":"12_CR9","unstructured":"Girard, J.-Y. [1985] \u201cThe system F of variable types, fifteen years later\u201d, Theor. Comp. Sc. (to appear)."},{"issue":"1","key":"12_CR10","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(85)90062-3","volume":"41","author":"S. Hayashi","year":"1985","unstructured":"Hayashi, S. [1985] \u201cAdjunction of semifunctors: categorical structures in no-extensional lambda calculus\u201d, Theor. Comp. Sc.,vol 41(1) (pp. 95\u2013104).","journal-title":"Theor. Comp. Sc."},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01113560","volume":"122","author":"P.C. Kainen","year":"1971","unstructured":"Kainen, P.C. [1971] \u201cWeak adjoint functors\u201d, Math. Z. 122 (pp.1\u20139).","journal-title":"Math. Z."},{"key":"12_CR12","unstructured":"Longo, G. [1987] \u201cOn Church's formal theory of (computable) functions\u201d, Church Thesis Conference Proceedings, Annals Pure App. Logic (to appear)."},{"issue":"1\u20132","key":"12_CR13","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0019-9958(86)80019-5","volume":"71","author":"D. MacQueen","year":"1986","unstructured":"MacQueen D., Plotkin G., Sethi R. [1986] \u201cAn ideal model for recursive polymorphic types\u201d,Information and Control, vol 71(1\u20132) (pp.95\u2013130).","journal-title":"Information and Control"},{"key":"12_CR14","unstructured":"Martini, S. [1986] \u201cCategorical models for typed and type-free non-extensional lambda-calculus\u201d, preprint, Pisa."},{"key":"12_CR15","unstructured":"McCracken N. [1984] \u201cA finitary retract model for the polymorphic lambda-calculus,\u201d Information and Control (to appear)."},{"key":"12_CR16","unstructured":"Meyer, A., Mitchell J.C., Moggi E., Statman R. [1987] \u201cEmpty types in polymorphic lambda calculus\u201d, (ACM Conference on) POPL '87, M\u00fcnich."},{"key":"12_CR17","unstructured":"Scott, D. [1980] \u201cA space of retracts\u201d, manuscript, Bremen."},{"issue":"2","key":"12_CR18","doi-asserted-by":"crossref","first-page":"153","DOI":"10.4064\/cm-48-2-153-165","volume":"48","author":"A. Wiweger","year":"1984","unstructured":"Wiweger A. [1984] \u201cPre-adjunction and \u03bb-algebraic theories\u201d, in Colloq. Math. 48(2), 153\u2013165.","journal-title":"Colloq. Math."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18508-9_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:15:03Z","timestamp":1605626103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18508-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540185086","9783540480068"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-18508-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}