{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:11:14Z","timestamp":1781892674327,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540419600","type":"print"},{"value":"9783540454137","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45413-6_25","type":"book-chapter","created":{"date-parts":[[2007,8,4]],"date-time":"2007-08-04T08:51:43Z","timestamp":1186217503000},"page":"315-328","source":"Crossref","is-referenced-by-count":6,"title":["Characterizing Convergent Terms in Object Calculi via Intersection Types"],"prefix":"10.1007","author":[{"given":"Ugo","family":"de\u2019Liguoro","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,4,25]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Cardelli, A Theory of Objects, Springer 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Cardelli, R. Viswanathan, \u201cAn interpretation of objects and object types\u201d Proc. of of POPL\u201996 1996, 396\u2013409.","DOI":"10.1145\/237721.237809"},{"key":"25_CR3","first-page":"1","volume":"51","author":"S. Abramsky","year":"1991","unstructured":"S. Abramsky, \u201cDomain Theory in Logical Form\u201d, APAL 51, 1991, 1\u201377.","journal-title":"APAL"},{"issue":"2","key":"25_CR4","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1006\/inco.1993.1044","volume":"105","author":"S. Abramsky","year":"1993","unstructured":"S. Abramsky, C.-H. L. Ong \u201cFull abstraction in the lazy lambda calculus\u201d, Inf. Comput. 105(2), 1993, 159\u2013267.","journal-title":"Inf. Comput."},{"key":"25_CR5","unstructured":"S. van Bakel, Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting, Ph.D. Thesis, Mathematisch Centrum, Amsterdam 1993."},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"931","DOI":"10.2307\/2273659","volume":"48","author":"H.P. Barendregt","year":"1983","unstructured":"H.P. Barendregt, M. Coppo, M. Dezani, \u201cA Filter Lambda Model and the Completeness of Type Assignment\u201d, JSL 48, 1983, 931\u2013940.","journal-title":"JSL"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1006\/inco.1994.1003","volume":"108","author":"G. Boudol","year":"1994","unstructured":"G. Boudol, \u201cA Lambda Calculus for (Strict) Parallel Functions\u201d, Info. Comp. 108, 1994, 51\u2013127.","journal-title":"Info. Comp."},{"issue":"4","key":"25_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0956796800001039","volume":"1","author":"K.B. Bruce","year":"1994","unstructured":"K.B. Bruce, \u201cA paradigmatic Object-Oriented design, static typing and semantics\u201d, J. of Fun. Prog. 1(4), 1994, 127\u2013206.","journal-title":"J. of Fun. Prog."},{"key":"25_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/BFb0014561","volume-title":"Proc. of TACS\u201997","author":"K.B. Bruce","year":"1997","unstructured":"K.B. Bruce, L. Cardelli, B.C. Pierce, \u201cComparing object encodings\u201d, Proc. of TACS\u201997, LNCS 1281, 1997, 415\u2013438."},{"key":"25_CR10","unstructured":"K. Crary, \u201cSimple, Efficient Object Encoding using Intersection Types\u201d, CMU Technical Report CMU-CS-99-100."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"M. Coppo, F. Damiani, P. Giannini, \u201cInference based analyses of functional programs: dead-code and strictness\u201d, in M. Okada, M. Dezani eds., Theories of Types and Proofs, Mathematical Society of Japan, vol. 2, 1998 [28]}, 143\u2013176.","DOI":"10.2969\/msjmemoirs\/00201C040"},{"key":"25_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1002\/malq.19810270205","volume":"27","author":"M. Coppo","year":"1981","unstructured":"M. Coppo, M. Dezani, B. Venneri, \u201cFunctional characters of solvable terms\u201d, Grund. der Math., 27, 1981, 45\u201358.","journal-title":"Grund. der Math."},{"key":"25_CR13","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(93)90086-9","volume":"121","author":"M. Coppo","year":"1993","unstructured":"M. Coppo, A. Ferrari, \u201cType inference, abstract interpretation and strictness analysis\u201d, TCS 121, 1993, 113\u2013144.","journal-title":"TCS"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"M. Dezani, E. Giovannetti, U. de Liguoro, \u201cIntersection types, \u03bb-models and B\u00f6hm trees\u201d, in M. Okada, M. Dezani eds., Theories of Types and Proofs, Mathematical Society of Japan, vol. 2, 1998 [28]}, 45\u201397.","DOI":"10.2969\/msjmemoirs\/00201C020"},{"key":"25_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/3-540-44612-5_26","volume-title":"Proc. of MFCS\u201900","author":"M. Dezani","year":"2000","unstructured":"M. Dezani, F. Honsell, Y. Motohama, \u201cCompositional Characterizations of \u03bb-terms using Intersection Types\u201d, Proc. of MFCS\u201900, LNCS 1893, 2000, 304\u2013313."},{"issue":"5","key":"25_CR16","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1137\/S0097539794275860","volume":"27","author":"M. Dezani","year":"1998","unstructured":"M. Dezani, U. de Liguoro, A. Piperno. \u201cA filter model for concurrent lambda-calculus\u201d, Siam J. Comput. 27(5), 1998, 1376\u20131419.","journal-title":"Siam J. Comput."},{"key":"25_CR17","first-page":"149","volume":"16","author":"L. Egidi","year":"1992","unstructured":"L. Egidi, F. Honsell, S. Ronchi della Rocca, \u201cOperational, denotational and logical descriptions: a case study\u201d, Fund. Inf. 16, 1992, 149\u2013169.","journal-title":"Fund. Inf."},{"key":"25_CR18","first-page":"3","volume":"1","author":"K. Fisher","year":"1994","unstructured":"K. Fisher, F. Honsell, J.C. Mitchell, \u201cA lambda calculus of objects and method specialization\u201d, Nordic J. Comput. 1, 1994, 3\u201337.","journal-title":"Nordic J. Comput."},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"A. Gordon, G. Rees, \u201cBisimilarity for first-order calculus of objects with subtyping\u201d, Proc. of POPL\u201996, 1996, 386\u2013395.","DOI":"10.1145\/237721.237807"},{"key":"25_CR20","unstructured":"H. Ishihara, T. Kurata, \u201cCompleteness of intersection and union type assignment systems for call-by-value \u03bb-models\u201d, to appear in TCS."},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"S. Kamin, \u201cInheritance in Smalltalk-80: a denotational definition\u201d, Proc. of POPL\u201988, 1988, 80\u201387.","DOI":"10.1145\/73560.73567"},{"key":"25_CR22","unstructured":"J.L. Krivine, Lambda-calcul, types et mod\u00e9les, Masson 1990."},{"key":"25_CR23","unstructured":"J.C. Mitchell, Foundations for Programming Languages, MIT Press, 1996."},{"key":"25_CR24","unstructured":"B. Pierce, Programming with Intersection Types and Bounded Polymorphism, Ph.D. Thesis, 1991."},{"key":"25_CR25","unstructured":"G. Pottinger, \u201cA Type Assignment System for Strongly Normalizable \u03bb-terms\u201d, in R. Hindley, J. Seldin eds., To H.B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalisms, Academic Press, 1980, 561\u2013527."},{"key":"25_CR26","first-page":"675","volume":"526","author":"J. Reynolds","year":"1991","unstructured":"J. Reynolds, \u201cThe Coherence of Languages with Intersection Types\u201d, LNCS 526, 1991, 675\u2013700.","journal-title":"LNCS"},{"issue":"n. 3","key":"25_CR27","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"D. Scott, \u201cData types as lattices\u201d, SIAM J. Comput. 5,n. 3, 1976, 522\u2013587.","journal-title":"SIAM J. Comput."},{"key":"25_CR28","doi-asserted-by":"crossref","unstructured":"M. Takahashi, M. Okada, M. Dezani eds., Theories of Types and Proofs, Mathematical Society of Japan, vol. 2, 1998.","DOI":"10.2969\/msjmemoirs\/002010000"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45413-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:06:56Z","timestamp":1556737616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45413-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419600","9783540454137"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-45413-6_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}