{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:20:34Z","timestamp":1770276034940,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540648277","type":"print"},{"value":"9783540685326","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055784","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T13:36:31Z","timestamp":1155821791000},"page":"346-355","source":"Crossref","is-referenced-by-count":4,"title":["Polymorphic subtyping without distributivity"],"prefix":"10.1007","author":[{"given":"Jacek","family":"Chrz\u0105szcz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"31_CR1","unstructured":"M. Benke, \u201cPredicative Polymorphic Subtyping\u201d, these proceedings."},{"key":"31_CR2","unstructured":"J. Chrz\u0105szcz, \u201cPolymorphic Subtyping Without Distributivity\u201d Technical Report TR98-03(252), Institute of Informatics, Warsaw University, May 1998. URL: http:\/\/zls.mimuw.edu.pl~chrzaszc\u00b6pers"},{"key":"31_CR3","unstructured":"J.-Y. Girard, Y. Lafont, P. Taylor. Proofs and Types. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989."},{"key":"31_CR4","unstructured":"T. Jim, \u201cSystem F plus Subsumption Reduces to Mitchell's Subtyping Relation\u201d, Manuscript (1995)."},{"issue":"1","key":"31_CR5","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0890-5401(91)90053-5","volume":"93","author":"D. Leivant","year":"1991","unstructured":"D. Leivant, \u201cFinitely Stratified Polymorphism\u201d, Information and Computation, 93 (1), 1991, 93\u2013113.","journal-title":"Information and Computation"},{"key":"31_CR6","unstructured":"G. Longo, K. Milsted, S. Soloviev, \u201cA Logic of Subtyping\u201d, Proc. 10th IEEE Symp. Logic in Computer Science, 1995, pp. 292\u2013299."},{"issue":"2\u20133","key":"31_CR7","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0890-5401(88)90009-0","volume":"76","author":"J.C. Mitchell","year":"1988","unstructured":"J.C. Mitchell, \u201cPolymorphic Type Inference and Containment\u201d, Information and Computation, 76 (2\u20133), 1988, pp. 211\u2013249.","journal-title":"Information and Computation"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"J. Tiuryn, \u201cEquational Axiomatization of Bicoercibility for Polymorphic Types\u201d, Proc. Conf. Foundations of Software Technology and Theoretical Computer Science'95, Bangalore, India; 18\u201320 Dec 1995. Lecture Notes in Computer Science 1026, pp. 166\u2013179.","DOI":"10.1007\/3-540-60692-0_47"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"J. Tiuryn, P. Urzyczyn, \u201cThe Subtyping Problem for Second-Order Types is Undecidable\u201d Proc. 11th IEEE Symp. Logic in Computer Science, 1996, pp. 74\u201385.","DOI":"10.1109\/LICS.1996.561306"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"J.B. Wells, \u201cTypability and Type Checking in the Second-Order \u03bb-calculus are Equivalent and Undecidable\u201d, Proc. 9th IEEE Symp. Logic in Computer Science, 1994, pp. 176\u2013185.","DOI":"10.1109\/LICS.1994.316068"},{"key":"31_CR11","unstructured":"J.B. Wells, \u201cThe Undecidability of Mitchell's Subtyping Relationship\u201d, Technical Report, Computer Science Department, Boston University, Number 95\u2013019, December 10 1995."},{"key":"31_CR12","unstructured":"J.B. Wells, \u201cTypability is Undecidable for F+Eta\u201d Technical Report, Computer Science Department, Boston University, Number 96\u2013022, March 9 1996."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T18:00:38Z","timestamp":1549908038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055784"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648277","9783540685326"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0055784","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}