{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:34:18Z","timestamp":1759638858391,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540230243"},{"type":"electronic","value":"9783540301240"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30124-0_32","type":"book-chapter","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T12:27:59Z","timestamp":1267532879000},"page":"415-429","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Subtyping Union Types"],"prefix":"10.1007","author":[{"given":"J\u00e9r\u00f4me","family":"Vouillon","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2004,9,9]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Damm, F.: Subtyping with union types, intersection types and recursive types II. Research Report 2259, INRIA Rennes (1994)","DOI":"10.1007\/3-540-57887-0_121"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Vouillon, J.: Subtyping union types (extended version). Manuscript (2004), available from \n\nhttp:\/\/www.pps.jussieu.fr\/~vouillon\/publi\/#union","DOI":"10.1007\/978-3-540-30124-0_32"},{"key":"32_CR3","first-page":"52","volume-title":"Proceedings of the 31th ACM Conference on Principles of Programming Languages","author":"J. Vouillon","year":"2004","unstructured":"Vouillon, J., Melli\u00e8s, P.A.: Semantic types: A fresh look at the ideal model for types. In: Proceedings of the 31th ACM Conference on Principles of Programming Languages, Venezia, Italia, pp. 52\u201363. ACM Press, New York (2004)"},{"key":"32_CR4","unstructured":"Melli\u00e8s, P.A., Vouillon, J.: Recursive polymorphic types and parametricity in an operational framework. Preprint PPS\/\/04\/06\/\/no 30 (2004), available from \n\nhttp:\/\/www.pps.jussieu.fr\/~vouillon\/publi\/#semtypes2"},{"key":"32_CR5","unstructured":"Girard, J.Y.: Interpr\u00e9tation fonctionelle et \u00e9limination des coupures dans l\u2019arithm \u00e9tique d\u2019ordre sup\u00e9rieur. Th\u2018ese de doctorat d\u2019\u00c9tat, University of Paris VII (1972)"},{"key":"32_CR6","unstructured":"Coq Development Team: The Coq Proof Assistant Reference Manual \u2013 Version V7.4 (2003), Available from \n\nhttp:\/\/coq.inria.fr\/doc\/main.html"},{"key":"32_CR7","doi-asserted-by":"publisher","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.: An ideal model for recursive polymorphic types. Information and Control\u00a071, 95\u2013130 (1986)","journal-title":"Information and Control"},{"key":"32_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"32_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-44622-2_19","volume-title":"Computer Science Logic","author":"V. Danos","year":"2000","unstructured":"Danos, V., Krivine, J.L.: Disjunctive tautologies and synchronisation schemes. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 292\u2013301. Springer, Heidelberg (2000)"},{"key":"32_CR10","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s001530000057","volume":"40","author":"J.L. Krivine","year":"2001","unstructured":"Krivine, J.L.: Typed lambda-calculus in classical Zermelo-Fraenkel set theory. Archive of Mathematical Logic\u00a040, 189\u2013205 (2001)","journal-title":"Archive of Mathematical Logic"},{"key":"32_CR11","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1017\/S0960129500003066","volume":"10","author":"A.M. Pitts","year":"2000","unstructured":"Pitts, A.M.: Parametric polymorphism and operational equivalence. Mathematical Structures in computer Science\u00a010, 321\u2013359 (2000)","journal-title":"Mathematical Structures in computer Science"},{"key":"32_CR12","first-page":"137","volume-title":"17th IEEE Symposium on Logic in Computer Science","author":"A. Frisch","year":"2002","unstructured":"Frisch, A., Castagna, G., Benzaken, V.: Semantic subtyping. In: 17th IEEE Symposium on Logic in Computer Science, pp. 137\u2013146. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: Proceedings of the International Conference on Functional Programming, ICFP (2000)","DOI":"10.1145\/351240.351242"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30124-0_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,22]],"date-time":"2020-01-22T20:03:35Z","timestamp":1579723415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30124-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230243","9783540301240"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30124-0_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]},"assertion":[{"value":"9 September 2004","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}