{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,29]],"date-time":"2024-01-29T16:03:00Z","timestamp":1706544180328},"reference-count":32,"publisher":"Cambridge University Press (CUP)","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. in Comp. Science"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1017\/s0960129508007159","type":"journal-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T08:59:54Z","timestamp":1223369994000},"page":"1091","source":"Crossref","is-referenced-by-count":8,"title":["Bunched polymorphism"],"prefix":"10.1017","volume":"18","author":[{"given":"MATTHEW","family":"COLLINSON","sequence":"first","affiliation":[]},{"given":"DAVID","family":"PYM","sequence":"additional","affiliation":[]},{"given":"EDMUND","family":"ROBINSON","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2008,10,7]]},"reference":[{"key":"S0960129508007159_ref37","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029817"},{"key":"S0960129508007159_ref38","doi-asserted-by":"publisher","DOI":"10.2307\/2273831"},{"key":"S0960129508007159_ref35","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-06859-7_148","volume":"19","author":"Reynolds","year":"1974","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"S0960129508007159_ref34","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0091-7","volume":"26","author":"Pym","year":"2002","journal-title":"Applied Logic Series"},{"key":"S0960129508007159_ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.11.020"},{"key":"S0960129508007159_ref31","first-page":"374","volume-title":"Logic in Computer Science, LICS '93","author":"Plotkin","year":"1993"},{"key":"S0960129508007159_ref30","volume-title":"Types and Programming Languages","author":"Pierce","year":"2002"},{"key":"S0960129508007159_ref19","volume":"141","author":"Jacobs","year":"1999","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"S0960129508007159_ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(88)90018-8"},{"key":"S0960129508007159_ref17","volume-title":"Proofs and Types","author":"Girard","year":"1989"},{"key":"S0960129508007159_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"S0960129508007159_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.04.010"},{"key":"S0960129508007159_ref14","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0049-237X(08)70843-7","volume-title":"Proceedings of the 2nd Scandinavian Logic Symposium","author":"Girard","year":"1971"},{"key":"S0960129508007159_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s001650200016"},{"key":"S0960129508007159_ref12","volume":"420","author":"Day","year":"1973","journal-title":"Springer-Verlag Lecture Notes in Mathematics"},{"key":"S0960129508007159_ref6","first-page":"1","volume":"5","author":"Birkedal","year":"2006","journal-title":"Logical Methods in Computer Science"},{"key":"S0960129508007159_ref11","volume":"137","author":"Day","year":"1970","journal-title":"Springer-Verlag Lecture Notes in Mathematics"},{"key":"S0960129508007159_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80874-0"},{"key":"S0960129508007159_ref10","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/11538363_5","volume":"3634","author":"Collinson","year":"2005","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"S0960129508007159_ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.04.006"},{"key":"S0960129508007159_ref2","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/978-3-540-27836-8_16","volume":"3142","author":"Atkey","year":"2004","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"S0960129508007159_ref1","first-page":"31","volume-title":"Logic in Computer Science, LICS '90","author":"Abadi","year":"1990"},{"key":"S0960129508007159_ref28","doi-asserted-by":"publisher","DOI":"10.2307\/421090"},{"key":"S0960129508007159_ref27","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004495"},{"key":"S0960129508007159_ref26","doi-asserted-by":"publisher","DOI":"10.1145\/44501.45065"},{"key":"S0960129508007159_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(91)90067-V"},{"key":"S0960129508007159_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(86)80019-5"},{"key":"S0960129508007159_ref22","volume-title":"Sheaves in Geometry and Logic: A First Introduction to Topos Theory","author":"Mac Lane","year":"1992"},{"key":"S0960129508007159_ref21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"S0960129508007159_ref20","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1969.tb01194.x"},{"key":"S0960129508007159_ref39","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1145\/286860.286882","volume-title":"International Symposium on Memory Management '88","author":"Tofte","year":"1998"},{"key":"S0960129508007159_ref36","first-page":"345","volume-title":"Algorithmic Languages","author":"Reynolds","year":"1981"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129508007159","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,18]],"date-time":"2021-09-18T00:07:00Z","timestamp":1631923620000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.journals.cambridge.org\/abstract_S0960129508007159"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,7]]},"references-count":32,"journal-issue":{"issue":"06","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["S0960129508007159"],"URL":"https:\/\/doi.org\/10.1017\/s0960129508007159","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,7]]}}}