{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:34Z","timestamp":1761611074718},"reference-count":19,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1990,6,1]],"date-time":"1990-06-01T00:00:00Z","timestamp":644198400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":8447,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1990,6]]},"DOI":"10.1016\/0304-3975(90)90165-e","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:17:21Z","timestamp":1027642641000},"page":"101-112","source":"Crossref","is-referenced-by-count":27,"title":["A note on inconsistencies caused by fixpoints in a cartesian closed category"],"prefix":"10.1016","volume":"73","author":[{"given":"Hagen","family":"Huwig","sequence":"first","affiliation":[]},{"given":"Axel","family":"Poign\u00e9","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(90)90165-E_BIB1","series-title":"The Lambda Calculus","author":"Barendregt","year":"1984"},{"key":"10.1016\/0304-3975(90)90165-E_BIB2","unstructured":"P.L. Curien, Categorical Combinators, Sequential Algorithms and Functional Programming"},{"key":"10.1016\/0304-3975(90)90165-E_BIB3","article-title":"Aspects of Topoi","volume":"7","author":"Freyd","year":"1972","journal-title":"Bull. Austral. Math. Soc."},{"key":"10.1016\/0304-3975(90)90165-E_BIB4","series-title":"Topoi\u2014The Categorical Analysis of Logic","author":"Goldblatt","year":"1979"},{"key":"10.1016\/0304-3975(90)90165-E_BIB5","series-title":"Technical Report CMU-CS-85-107","article-title":"Profinite solutions for recursive domain equations","author":"Gunter","year":"1985"},{"key":"10.1016\/0304-3975(90)90165-E_BIB6","article-title":"A universal domain technique for profinite posets","volume":"194","author":"Gunter","year":"1985"},{"key":"10.1016\/0304-3975(90)90165-E_BIB7","doi-asserted-by":"crossref","DOI":"10.1007\/BF00288972","article-title":"Ein Modell des P = NP-Problems mit einer positiven L\u00f6sung","volume":"17","author":"Huwig","year":"1982","journal-title":"Acta Inform."},{"key":"10.1016\/0304-3975(90)90165-E_BIB8","series-title":"Topos Theory","author":"Johnstone","year":"1977"},{"key":"10.1016\/0304-3975(90)90165-E_BIB9","series-title":"Introduction to Higher Order Categorical Logic","author":"Lambeck","year":"1986"},{"key":"10.1016\/0304-3975(90)90165-E_BIB10","doi-asserted-by":"crossref","DOI":"10.1073\/pnas.52.6.1506","article-title":"An elementary theory of the category of sets","volume":"52","author":"Lawvere","year":"1964","journal-title":"Proc. Natl. Acad. Sci."},{"key":"10.1016\/0304-3975(90)90165-E_BIB11","series-title":"Proc. Conf. on Categorical Algebra","article-title":"The category of categories as a foundations of mathematics","author":"Lawvere","year":"1966"},{"key":"10.1016\/0304-3975(90)90165-E_BIB12","article-title":"Diagonal arguments and cartesian closed categories","volume":"92","author":"Lawvere","year":"1969"},{"key":"10.1016\/0304-3975(90)90165-E_BIB13","article-title":"Categories for the Working Mathematician","volume":"5","author":"MacLane","year":"1971"},{"key":"10.1016\/0304-3975(90)90165-E_BIB14","series-title":"Intuitionistic Type Theory","author":"Martin-L\u00f6f","year":"1984"},{"key":"10.1016\/0304-3975(90)90165-E_BIB15","doi-asserted-by":"crossref","DOI":"10.1016\/S0019-9958(86)80027-4","article-title":"On specifications, theories and models with higher types","author":"Poign\u00e9","year":"1986","journal-title":"Inform. and Control"},{"key":"10.1016\/0304-3975(90)90165-E_BIB16","doi-asserted-by":"crossref","DOI":"10.1137\/0205035","article-title":"A power domain construction","volume":"5","author":"Plotkin","year":"1976","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0304-3975(90)90165-E_BIB17","article-title":"Domains of denotational semantics","volume":"140","author":"Scott","year":"1982"},{"key":"10.1016\/0304-3975(90)90165-E_BIB18","doi-asserted-by":"crossref","DOI":"10.1017\/S0305004100061284","article-title":"Locally cartesian closed categories and type theory","volume":"95","author":"Seely","year":"1984","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"10.1016\/0304-3975(90)90165-E_BIB19","series-title":"Ph.D. Thesis","article-title":"Recursive domains indexed categories and polymorphism","author":"Taylor","year":"1986"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759090165E?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759090165E?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T09:56:25Z","timestamp":1555062985000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030439759090165E"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,6]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,6]]}},"alternative-id":["030439759090165E"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(90)90165-e","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1990,6]]}}}