{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:58Z","timestamp":1725663418961},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541417"},{"type":"electronic","value":"9783540474449"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"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":[[1991]]},"DOI":"10.1007\/3-540-54141-1_12","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:30:40Z","timestamp":1330191040000},"page":"212-227","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modelling inheritance in a strongly typed functional model"],"prefix":"10.1007","author":[{"given":"Ji\u0159\u00ed","family":"Zlatu\u0161ka","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"12_CR1","volume-title":"Lambda-calculus. Its syntax and semantics","author":"H.P. Barendregt","year":"1981","unstructured":"H.P. Barendregt: Lambda-calculus. Its syntax and semantics. North-Holland, Amsterdam, 1981."},{"key":"12_CR2","unstructured":"O. Felix and J. Zlatu\u0161ka: Mapping semantic data modelling constructs into their implementations, TR89-32, Dept. of Comp. and Info. Sci., Univ. of Delaware, 1989."},{"key":"12_CR3","first-page":"51","volume":"173","author":"L. Cardelli","year":"1984","unstructured":"L. Cardelli: A semantics of multiple inheritance. in: proc. Semantic of Data Types (Kahn and MacQueen, eds.), Springer LNCS 173, 1984, 51\u201367.","journal-title":"LNCS"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"M.J. Carey, D.J. DeWitt, and S.L. Vandenberg: A data model and query language for EXODUS. ACM PODS, 1988, 413\u2013423.","DOI":"10.1145\/971701.50252"},{"key":"12_CR5","first-page":"453","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism","author":"R.O. Gandy","year":"1980","unstructured":"R.O. Gandy: Proofs of strong normalization. In: To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism (Hindley and Seldin, eds.), Academic Press, London, 1980, 453\u2013456."},{"key":"12_CR6","unstructured":"A. Goldberg and D. Robson: Smalltalk-80. The language and its implementation. Addison-Wesley, 1983."},{"key":"12_CR7","unstructured":"J. Goguen and J. Meseguer: EQLOG: Equality, types, and generic modules for logic programming, in: Logic programming. Functions, relations, and equations. (DeGroot and Lindstrom, eds.), Prentice-Hall, 1986, 295\u2013363."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"M. Kifer and J. Wu: A logic for object-oriented logic programming (Maier's O-logic revisited), ACM PODS, 1989, 379\u2013393.","DOI":"10.1145\/73721.73758"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"B.A. Nixon et al: Design of a compiler for a semantic data model. in: Foundations of Knowledge Base Management. (Schmidt and Thanos, eds.), Springer, 1989, 293\u2013343.","DOI":"10.1007\/978-3-642-83397-7_14"},{"key":"12_CR10","unstructured":"J.D. Ullman: Principles of Database and Knowledge-Base Systems. Computer Science Press, Rockville, MD, Vol. 1, 1988, Vol. 2, 1989."},{"key":"12_CR11","unstructured":"J. Zlatu\u0161ka: Normal forms in the typed lambda-calculus with tuple types. Kybernetika, Vol.21, No.5, 1985."},{"key":"12_CR12","unstructured":"J. Zlatu\u0161ka: Data bases and the lambda-calculus. in: Proc. IFIP'86 World Computer Congress (K\u00fcgler, ed.), Dublin, 1986, pp.97\u2013104."},{"key":"12_CR13","unstructured":"J. Zlatu\u0161ka: Functional data modelling using lambda-calculus. TR University of Brno (Pisa lecture notes), October 1989."}],"container-title":["Lecture Notes in Computer Science","Next Generation Information System Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54141-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:06:28Z","timestamp":1558253188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54141-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541417","9783540474449"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54141-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}