{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:35Z","timestamp":1725664235928},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580270"},{"type":"electronic","value":"9783540484196"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58027-1_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:09:12Z","timestamp":1330268952000},"page":"567-586","source":"Crossref","is-referenced-by-count":1,"title":["Category of \u0394-functors"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Fiech","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"28_CR1","unstructured":"Adamek J., Herrlich H., Strecker G. [1990] Abstract and Concrete Categories, John Wiley&Sons, 1990"},{"key":"28_CR2","unstructured":"Fiech A., Huth M. [1991] Algebraic Domains of Natural Transformations, Technical Report, KSU, Comp. Sci., 1991"},{"key":"28_CR3","unstructured":"Fiech A. [1992] Colimits in the Category CPO, Tech. Report, KSU, Comp. Sci.92"},{"key":"28_CR4","unstructured":"Fiech A. [1993] A Denotational Model for Polymorphic Lambda Calculus with Subtyping, dissertation, Kansas State University, Dept. of Comp. and Inf. Sci., 1993"},{"key":"28_CR5","unstructured":"Fiech A., Schmidt D. [1993] Polymorphic Lambda Calculus and Subtyping, in preparation"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"O'Hearn P., Tennent R. [1993] Relational Parametricity and Local Variables, Proc 20th ACM Symp Princ Prog Lags, Charleston, SC, Jan 1993","DOI":"10.1145\/158511.158624"},{"key":"28_CR7","volume-title":"Ph.D. thesis","author":"F. Oles","year":"1982","unstructured":"Oles F. [1982] A Category-Theoretic Approach to the Semantics of Programming Languages, Ph.D. thesis, Syracuse University, Syracuse, NY, 1982"},{"key":"28_CR8","volume-title":"Algebraic Methods in Semantics","author":"F. Oles","year":"1985","unstructured":"Oles F. [1985] Type Algebras, Functor Categories and Stock Structure. In M. Nivat and J. Reynolds, editors, Algebraic Methods in Semantics, Cambridge University Press, Cambridge 1985"},{"key":"28_CR9","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. Plotkin","year":"1976","unstructured":"Plotkin G. [1976] A powerdomain construction, SIAM J. of Computing, vol. 5, pp. 452\u2013487","journal-title":"SIAM J. of Computing"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Reynolds J. [1980] Using Category Theory to Design Implicit Conversions and Generic Operators, in LNCS 94, p. 211\u2013258, Springer Verlag 1980","DOI":"10.1007\/3-540-10250-7_24"},{"key":"28_CR11","unstructured":"Schmidt D. [1986] Denotational Semantics, Allyn and Bacon, Inc. 1986"},{"key":"28_CR12","unstructured":"Schmidt D. [1990] Action Semantics Based Language Design, SOFSEM '90 Zotavovna Sirena, Janske Lazne, Krkonose, Nov. 1990."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58027-1_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:30Z","timestamp":1605647790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58027-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580270","9783540484196"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58027-1_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}