{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:45Z","timestamp":1725455445552},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540167838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016232","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:39:17Z","timestamp":1131860357000},"page":"29-43","source":"Crossref","is-referenced-by-count":3,"title":["Partial interpretations of higher order algebraic types"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner, J.B. Wright: Initial algebra semantics and continuous algebras. IBM Research Report RC-5701, November 1975, JACM 24 (1977) pp. 68\u201395","journal-title":"JACM"},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0021-9800(70)80014-X","volume":"8","author":"G. Birkhoff","year":"1970","unstructured":"G. Birkhoff, J.D. Lipson: Heterogeneous algebras. J. of Combinatorial Theory 8, 115\u2013133 (1970)","journal-title":"J. of Combinatorial Theory"},{"key":"3_CR3","unstructured":"M. Broy, M. Wirsing: Programming languages as abstract data types. M. Dauchet (ed.): 5eme CAAP, Lille, February 1980, Universite de Lille 1980, 160\u2013177"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-10699-5_101","volume-title":"International Colloquium on Formalization of Programming Concepts, Peniscola, April 1981","author":"M. Broy","year":"1981","unstructured":"M. Broy, M. Wirsing: On the algebraic extensions of abstract data types. J. Diaz, I. Ramos (eds): International Colloquium on Formalization of Programming Concepts, Peniscola, April 1981, Lecture Notes in Computer Science 107, Berlin-Heidelberg-New York: Springer 1981, 244\u2013251"},{"issue":"1","key":"3_CR5","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"M. Broy, M. Wirsing: Partial abstract data types. Acta Informatica 18:1, November 1982, 47\u201364","journal-title":"Acta Informatica"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Proc. CAAP 84","author":"M. Broy","year":"1984","unstructured":"M. Broy, M. Wirsing: Generalized heterogeneous algebras and partial interpretations. In: Proc. CAAP 84. Lecture Notes in Computer Science 159, Berlin-Heidelberg-New York: Springer 1984, 1\u201334"},{"key":"3_CR7","volume-title":"Universal algebra","author":"G. Gr\u00e4tzer","year":"1968","unstructured":"G. Gr\u00e4tzer: Universal algebra. Princeton: Van Nostrand, 1968"},{"key":"3_CR8","volume-title":"Introduction to metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"S.C. Kleene: Introduction to metamathematics. New York: Van Nostrand 1952"},{"key":"3_CR9","volume-title":"Mathematical theory of computation","author":"Z. Manna","year":"1974","unstructured":"Z. Manna: Mathematical theory of computation. New York: McGraw Hill 1974"},{"key":"3_CR10","unstructured":"B. M\u00f6ller: Unendliche Objekte und Geflechte. Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, TUM-18213, Ph. D. Thesis 1982"},{"key":"3_CR11","unstructured":"D. Scott: Outline of a mathematical theory of computation. Proc. 4th Annual Princeton Conference on Information Sciences and Systems 1970, 169\u2013176"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1007\/BFb0022542","volume-title":"Abstract data types as lattices of finitely generated models","author":"M. Wirsing","year":"1980","unstructured":"M. Wirsing, M. Broy: Abstract data types as lattices of finitely generated models. In: Dembinski, P. (ed.): Mathematical Foundations of Computer Science \u2014 9th Symposium, Rydzyna, Poland, Sept. 1\u20135, 1980. Lecture Notes in Computer Science 88. Berlin-Heidelberg-New York: Springer 1980, p. 673\u2013685"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264293","volume":"20","author":"M. Wirsing","year":"1983","unstructured":"M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On hierarchies of abstract data types. Acta Informatica 20, 1983, 1\u201333.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1986"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016232.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:35:29Z","timestamp":1607549729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016232"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540167838"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0016232","relation":{},"subject":[]}}