{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:51Z","timestamp":1725456351161},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634379"},{"type":"electronic","value":"9783540695479"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0029962","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:24:59Z","timestamp":1133418299000},"page":"189-198","source":"Crossref","is-referenced-by-count":5,"title":["Subtyping calculus of construction (extended abstract)"],"prefix":"10.1007","author":[{"given":"Gang","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"D. Aspinall and A. Compagnoni.Subtyping dependent types. In LICS'96.","DOI":"10.1109\/LICS.1996.561307"},{"key":"19_CR2","unstructured":"A. Bailey. Lego with implicit coercions, 1996. draft."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"H. Barendregt. Lambda calculi with types. In Handbook of Logic in Computer Science. Oxford University Press, 1992.","DOI":"10.1093\/oso\/9780198537618.003.0002"},{"key":"19_CR4","unstructured":"G. Barthe. Inheritance in type theory, TYPES'95, 1995."},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Typechecking dependent types and subtypes, December 1987.","DOI":"10.1007\/3-540-19129-1_2"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"P. L. Curien and G. Ghelli. Coherence of subsumption, minimum typing and the type checking in F \u2264 . MSCS, 2(1), 1992.","DOI":"10.1017\/S0960129500001134"},{"key":"19_CR7","unstructured":"G. Chen. Dependent type system with subtyping. To appear in KIT Summer School and Workshop on Formal Models of Programming and their Applications, Beijing, 1997."},{"key":"19_CR8","unstructured":"A. Compagnoni. Subtyping in F \u039b \u03c9 is decidable. CSL'94."},{"key":"19_CR9","unstructured":"G. Longo, K. Milsted, and S. Soloviev. A Logic of Subtyping. In LICS'95."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Z. Luo. Coercive subtyping in type theory. In CSL'96.","DOI":"10.1007\/3-540-63172-0_45"},{"key":"19_CR11","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. Polymorphic type inference and containment. Information and Computation, 76:211\u2013249, 1988.","journal-title":"Information and Computation"},{"key":"19_CR12","unstructured":"F. Pfenning. Refinement types for logical frameworks. In Informal Proceedings of the 1993 Workshop on Types for Proofs and Programs, May 1993."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"A. Saibi. Typing algorithm in type theory with inheritance, 1996. in the 24th Annual SIGPLAN-SIGACT Symposium on principles of Programming Languages, Paris, France, January 15\u201317, 1997.","DOI":"10.1145\/263699.263742"},{"key":"19_CR14","unstructured":"B. Pierce and M. Steffen. Higher-order subtyping. To appear in: Theoretical Computer Science, 1996."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T06:59:18Z","timestamp":1706770758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029962"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634379","9783540695479"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0029962","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}