{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:29Z","timestamp":1725663329248},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540159841"},{"type":"electronic","value":"9783540396857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15984-3_260","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:28:55Z","timestamp":1330194535000},"page":"179-180","source":"Crossref","is-referenced-by-count":0,"title":["The Algos computational system"],"prefix":"10.1007","author":[{"given":"Henson","family":"Graves","sequence":"first","affiliation":[]},{"given":"Lee","family":"Blaine","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"1","key":"32_CR1","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"Burstall, R. M.; Darlington, John. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery; 1977 January; 24(1): 44\u201367.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"32_CR2","volume-title":"Topoi: The categorical Analysis of Logic","author":"R. Goldblatt","year":"1984","unstructured":"Goldblatt, Robert. Topoi: The categorical Analysis of Logic. rev. ed. Amsterdam: North-Holland; 1984. (Barwise, J. et al, eds. Studies in logic and the foundations of mathematics; 98).","edition":"rev. ed."},{"key":"32_CR3","series-title":"IBM Report","volume-title":"Initial Algebra Semantics","author":"J. A. Gougen","year":"1984","unstructured":"Gougen, Joseph A.; Thatcher, J. W. Initial Algebra Semantics. Yorktown Heights, NY: IBM; 1984: IBM Report No. RC-4865."},{"key":"32_CR4","volume-title":"Machine Intelligence 10","author":"C. Green","year":"1982","unstructured":"Green, Cordell; Westfold, Stephen. Knowledge-based programming self applied. In: Machine Intelligence 10. New York: Ellis Horwood Limited, Halsted Press; 1982."},{"key":"32_CR5","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0022-4049(80)90102-4","volume":"19","author":"J. Lambek","year":"1980","unstructured":"Lambek, J.; Scott, P. J. Intuitionist type theory and the free topos. Journal of Pure and Applied Algebra; 1980 Dec; 19: 215\u2013257.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, Robin. A theory of type polymorphism in programming. Journal of Computer and System Sciences; 1978; 17: 348\u2013375.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","EUROCAL '85"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15984-3_260.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:00:44Z","timestamp":1619557244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15984-3_260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540159841","9783540396857"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-15984-3_260","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}