{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:20Z","timestamp":1725455960999},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556312"},{"type":"electronic","value":"9783540472650"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"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":[[1992]]},"DOI":"10.1007\/bfb0021093","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:35:18Z","timestamp":1132637718000},"page":"218-227","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The type structure of CAT"],"prefix":"10.1007","author":[{"suffix":"Jr.","given":"J. Paul","family":"Myers","sequence":"first","affiliation":[]},{"given":"Ronald E.","family":"Prather","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Ashcroft, E.A. and W.W. Wedge, Rx for Semantics, ACM Transactions on Programming Languages and Systems, 4, 1982.","DOI":"10.1145\/357162.357170"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"McCarthy, J., Recursive Functions of Symbolic Expressions and their Computation by Machine, Communications of the ACM, 3, 1960.","DOI":"10.1145\/367177.367199"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Prather, R.E., Proposal for a Categorical Programming Language, ACM SIGPLAN Notices, 25, 1990.","DOI":"10.1145\/987481.987484"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"MacLane, S., Categories for the Working Mathematician, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"15_CR5","unstructured":"Cohn, P.M., Universal Algebra, Harper and Row, 1965."},{"key":"15_CR6","unstructured":"Barr, M. and C. Wells, Category Theory for Computing Science, Prentice Hall, 1990."},{"key":"15_CR7","unstructured":"Prather, R.E., Categorical Properties of CAT, submitted to Fourth Summer Conference on Category Theory and Computer Science, Paris, 1991."},{"key":"15_CR8","unstructured":"Brainerd, W.S. and L.H. Landweber, Theory of Computation, Wiley, 1974."},{"key":"15_CR9","unstructured":"Tennent, R.D., Principles of Programming Languages, Prentice Hall, 1981."},{"key":"15_CR10","unstructured":"Reynolds, J.C., The Craft of Programming, Prentice Hall, 1981."},{"key":"15_CR11","unstructured":"Constable, R.L. and M. O'Donnell, A Programming Logic, Winthrop, 1978."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Nerode, A., Some Lectures on Intuitionistic Logic, in Logic and Computer Science (ed. P. Odifreddi), Lecture Notes in Mathematics 1429, Springer-Verlag, 1990.","DOI":"10.1007\/BFb0093923"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Zimmerman, H.S., Fuzzy Set Theory and its Applications, Kluwer-Nijhoff, 1985.","DOI":"10.1007\/978-94-015-7153-1"},{"key":"15_CR14","unstructured":"Prather, R.E., The Arithmetic of CAT, Unpub. Ms., 1989."},{"key":"15_CR15","unstructured":"Jensen, K. and N. Wirth, Pascal User Manual and Report, Springer-Verlag, 1974."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Greenleaf, N., Algorithms and Proofs: Mathematics in the Computing Curriculum, Proceedings of the 20th Technical Symposium on Computer Science Education, SIGCSE Bulletin, 21, 1989.","DOI":"10.1145\/65293.65313"}],"container-title":["Lecture Notes in Computer Science","Constructivity in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T23:04:56Z","timestamp":1580339096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021093"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556312","9783540472650"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0021093","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"16 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}