{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:12:57Z","timestamp":1725585177297},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642216909"},{"type":"electronic","value":"9783642216916"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21691-6_19","type":"book-chapter","created":{"date-parts":[[2011,6,11]],"date-time":"2011-06-11T05:31:26Z","timestamp":1307770286000},"page":"229-244","source":"Crossref","is-referenced-by-count":2,"title":["Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming"],"prefix":"10.1007","author":[{"given":"Reuben","family":"Rowe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Van Bakel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)"},{"issue":"2","key":"19_CR2","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/0304-3975(95)00073-6","volume":"151","author":"S. Bakel van","year":"1995","unstructured":"van Bakel, S.: Intersection Type Assignment Systems. TCS\u00a0151(2), 385\u2013435 (1995)","journal-title":"TCS"},{"issue":"1","key":"19_CR3","first-page":"35","volume":"45","author":"S. Bakel van","year":"2004","unstructured":"van Bakel, S.: Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalising. NDJFL\u00a045(1), 35\u201363 (2004)","journal-title":"NDJFL"},{"key":"19_CR4","first-page":"1400","volume":"161","author":"S. Bakel van","year":"2010","unstructured":"van Bakel, S.: Completeness and Partial Soundness Results for Intersection & Union Typing for \u03bb\u03bc \u03bc. APAL\u00a0161, 1400\u20131430 (2010)","journal-title":"APAL"},{"issue":"3","key":"19_CR5","first-page":"306","volume":"42","author":"S. Bakel van","year":"2008","unstructured":"van Bakel, S., de\u2019Liguoro, U.: Logical equivalence for subtyping object and recursive types. ToCS\u00a042(3), 306\u2013348 (2008)","journal-title":"ToCS"},{"issue":"133","key":"19_CR6","first-page":"73","volume":"2","author":"S. Bakel van","year":"1997","unstructured":"van Bakel, S., Fern\u00e1ndez, M.: Normalisation Results for Typeable Rewrite Systems. IaC\u00a02(133), 73\u2013116 (1997)","journal-title":"IaC"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1016\/S0304-3975(02)00548-0","volume":"290","author":"S. Bakel van","year":"2003","unstructured":"van Bakel, S., Fern\u00e1ndez, M.: Normalisation, Approximation, and Semantics for Combinator Systems. TCS\u00a0290, 975\u20131019 (2003)","journal-title":"TCS"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"van Bakel, S., Rowe, R.: Semantic Predicate Types for Class-based Object Oriented Programming. In: FTfJP 2009 (2009)","DOI":"10.1145\/1557898.1557901"},{"issue":"1","key":"19_CR9","first-page":"87","volume":"13","author":"A. Banerjee","year":"2003","unstructured":"Banerjee, A., Jensen, T.P.: Modular Control-Flow Analysis with Rank 2 Intersection Types. MSCS\u00a013(1), 87\u2013124 (2003)","journal-title":"MSCS"},{"key":"19_CR10","volume-title":"The Lambda Calculus: its Syntax and Semantics","author":"H. Barendregt","year":"1984","unstructured":"Barendregt, H.: The Lambda Calculus: its Syntax and Semantics. North-Holland, Amsterdam (1984)"},{"issue":"4","key":"19_CR11","first-page":"931","volume":"48","author":"H. Barendregt","year":"1983","unstructured":"Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment. JSL\u00a048(4), 931\u2013940 (1983)","journal-title":"JSL"},{"issue":"1","key":"19_CR12","first-page":"3","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"Cardelli, L., Mitchell, J.C.: Operations on Records. MSCS\u00a01(1), 3\u201348 (1991)","journal-title":"MSCS"},{"issue":"2\/3","key":"19_CR13","first-page":"138","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"Cardelli, L.: A Semantics of Multiple Inheritance. IaC\u00a076(2\/3), 138\u2013164 (1988)","journal-title":"IaC"},{"issue":"4","key":"19_CR14","first-page":"685","volume":"21","author":"M. Coppo","year":"1980","unstructured":"Coppo, M., Dezani-Ciancaglini, M.: An Extension of the Basic Functionality Theory for the \u03bb-Calculus. NDJFL\u00a021(4), 685\u2013693 (1980)","journal-title":"NDJFL"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1002\/malq.19810270205","volume":"27","author":"M. Coppo","year":"1981","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Venneri, B.: Functional characters of solvable terms. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a027, 45\u201358 (1981)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"19_CR16","doi-asserted-by":"crossref","first-page":"509","DOI":"10.2307\/2370619","volume":"52","author":"H.B. Curry","year":"1930","unstructured":"Curry, H.B.: Grundlagen der Kombinatorischen Logik. AJM\u00a052, 509\u2013536, 789\u2013834 (1930)","journal-title":"AJM"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/BFb0097787","volume-title":"Types for Proofs and Programs","author":"F. Damiani","year":"1998","unstructured":"Damiani, F., Prost, F.: Detecting and Removing Dead-Code using Rank 2 Intersection. In: Gim\u00e9nez, E. (ed.) TYPES 1996. LNCS, vol.\u00a01512, pp. 66\u201387. Springer, Heidelberg (1998)"},{"issue":"1","key":"19_CR18","first-page":"3","volume":"1","author":"K. Fisher","year":"1994","unstructured":"Fisher, K., Honsell, F., Mitchell, J.C.: A lambda Calculus of Objects and Method Specialization. NJ\u00a01(1), 3\u201337 (1994)","journal-title":"NJ"},{"issue":"3","key":"19_CR19","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst.\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-36377-7_10","volume-title":"The Essence of Computation","author":"T.P. Jensen","year":"2002","unstructured":"Jensen, T.P.: Types in Program Analysis. In: Mogensen, T.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol.\u00a02566, pp. 204\u2013222. Springer, Heidelberg (2002)"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Mitchell, J.C.: Type Systems for Programming Languages. In: Handbook of TCS, vol.\u00a0B, ch. 8, pp. 415\u2013431 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50013-5"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Nakano, H.: A Modality for Recursion. In: LICS, pp. 255\u2013266 (2000)","DOI":"10.1109\/LICS.2000.855774"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/BFb0013061","volume-title":"Logic Programming and Automated Reasoning","author":"M. Parigot","year":"1992","unstructured":"Parigot, M.: An algorithmic interpretation of classical natural deduction. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol.\u00a0624, pp. 190\u2013201. Springer, Heidelberg (1992)"},{"key":"19_CR24","first-page":"3","volume":"60-61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: The origins of structural operational semantics. JLAP\u00a060-61, 3\u201315 (2004)","journal-title":"JLAP"},{"key":"19_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/BFb0012801","volume-title":"Automata, Languages, and Programming","author":"D. Scott","year":"1982","unstructured":"Scott, D.: Domains for Denotational Semantics. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol.\u00a0140, pp. 577\u2013613. Springer, Heidelberg (1982)"},{"issue":"2","key":"19_CR26","first-page":"198","volume":"32","author":"W.W. Tait","year":"1967","unstructured":"Tait, W.W.: Intensional interpretation of functionals of finite type I. JSL\u00a032(2), 198\u2013223 (1967)","journal-title":"JSL"},{"key":"19_CR27","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1137\/0205036","volume":"5","author":"C.P. Wadsworth","year":"1976","unstructured":"Wadsworth, C.P.: The relation between computational and denotational properties for Scott\u2019s D\u2009\u221e\u2009-models of the lambda-calculus. SIAM J. Comput.\u00a05, 488\u2013521 (1976)","journal-title":"SIAM J. Comput."}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21691-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T09:37:27Z","timestamp":1686130647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21691-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642216909","9783642216916"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21691-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}