{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:38Z","timestamp":1725663398470},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:42:18Z","timestamp":1330202538000},"page":"2-22","source":"Crossref","is-referenced-by-count":1,"title":["A categorical treatment of polymorphic operations"],"prefix":"10.1007","author":[{"given":"John W.","family":"Gray","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Toposes, Triples and Theories","author":"M. Barr","year":"1985","unstructured":"M. Barr and C. Wells, Toposes, Triples and Theories, Springer-Verlag, New York, 1985."},{"key":"1_CR2","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0074298","volume-title":"Reports Midwest Category Seminar I","author":"J. Benabou","year":"1967","unstructured":"J. Benabou, Introduction to Bicategories, Reports Midwest Category Seminar I, Lecture Notes in Mathematics 47, Springer-Verlag, New York, 1967."},{"key":"1_CR3","volume-title":"Closed categories","author":"S. Eilenberg","year":"1966","unstructured":"S. Eilenberg and G. M. Kelly, Closed categories, in Proceedings of the Conference on Categorical Algebra, La Jolla, 1965, Springer-Verlag, New York, 1966."},{"key":"1_CR4","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0061280","volume-title":"Formal Category Theory: Adjointness for 2-Categories","author":"J. W. Gray","year":"1974","unstructured":"J. W. Gray, Formal Category Theory: Adjointness for 2-Categories, Lecture Notes in Mathematics 391, Springer Verlag, New York, 1974."},{"key":"1_CR5","unstructured":"J. W. Gray, Categorical aspects of data type constructors, Theoretical Computer Science, 141 (to appear)."},{"key":"1_CR6","volume-title":"Topos Theory","author":"P. Johnstone","year":"1977","unstructured":"P. Johnstone, Topos Theory, Academic Press, New York, 1977."},{"key":"1_CR7","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0063096","volume-title":"Review of the elements of 2-categories","author":"G. M. Kelly","year":"1974","unstructured":"G. M. Kelly and R. Street, Review of the elements of 2-categories, in Category Seminar, Sydney 1972\/73, Lecture Notes in Mathematics 420, Springer-Verlag, New York, 1974."},{"key":"1_CR8","series-title":"Cambridge studies in advanced mathematics","volume-title":"Introduction to Higher Order Categorical Logic","author":"J. Lambek","year":"1986","unstructured":"J. Lambek and P.J. Scott, Introduction to Higher Order Categorical Logic. Cambridge studies in advanced mathematics 7, Cambridge University Press, New York, 1986"},{"key":"1_CR9","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1972","unstructured":"S. Mac Lane, Categories for the Working Mathematician, Springer Verlag, New York, 1972."},{"key":"1_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-12190-9","volume-title":"Kategorien und Funktoren","author":"B. Pareigis","year":"1969","unstructured":"B. Pareigis, Kategorien und Funktoren, B. G. Teubner, Stuttgart, 1969."},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1017\/S0305004100061284","volume":"95","author":"R. Seely","year":"1984","unstructured":"R. Seely, Locally cartesian closed categories and type theory, Math. Proc. Camb. Phil. Soc. 95 (1984), 33\u201348.","journal-title":"Math. Proc. Camb. Phil. Soc."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:18:56Z","timestamp":1619543936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}