{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T22:52:44Z","timestamp":1648767164378},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1992,11,1]],"date-time":"1992-11-01T00:00:00Z","timestamp":720576000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1992,11]]},"DOI":"10.1007\/bf01277482","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T04:21:14Z","timestamp":1111638074000},"page":"397-406","source":"Crossref","is-referenced-by-count":5,"title":["On the structure of paradoxes"],"prefix":"10.1007","volume":"31","author":[{"given":"Du?ko","family":"Pavlovi?","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01277482_CR1","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/BFb0080769","volume-title":"Category Theory, Homology Theory and their Applications II","author":"F.W. Lawvere","year":"1969","unstructured":"[L] Lawvere, F.W.: Diagonal arguments and cartesian closed categories. In: Hilton, P. (ed.) Category Theory, Homology Theory and their Applications II. (Lect. Notes Math., vol. 92, pp. 134\u2013145) Berlin Heidelberg New York: Springer 1969"},{"key":"BF01277482_CR2","unstructured":"[LSc] Lambek, J., Scott, P.J.: Introduction to higher categorical logic. Camb. Stud. Adv. Math.7 (1986)"},{"key":"BF01277482_CR3","unstructured":"[P] Pavlovi\u0107, D.: On structure of paradoxes. Preprint No. 570. Dept. of Mathematics, State University Utrecht 1989"},{"key":"BF01277482_CR4","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/3-540-13346-1_7","volume":"173","author":"J.C. Reynolds","year":"1984","unstructured":"[R] Reynolds, J.C.: Polymorphism is not set-theoretic. Semantics of data types. Lect. Notes Comput. Sci.173, 145\u2013156 (1984)","journal-title":"Lect. Notes Comput. Sci."},{"key":"BF01277482_CR5","first-page":"127","volume-title":"Logical foundations of functional programming","author":"J. C. Reynolds","year":"1990","unstructured":"[RP] Reynolds, J. C., Plotkin, G.: On functors expressible in the polymorphic typed lambda calculus. In: Huet, G. (ed.) Logical foundations of functional programming. Addison Wesley: Reading, Mass. 1990, pp. 127\u2013152"},{"key":"BF01277482_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self-reference and modal logic","author":"C. Smorynski","year":"1985","unstructured":"[S] Smorynski, C.: Self-reference and modal logic. Universitext. Berlin Heidelberg New York: Springer 1985"},{"key":"BF01277482_CR7","unstructured":"[TvD] Troelstra, A.S., van Dalen, D.: Constructivism in mathematics. An introduction, Stud. Logic Found. Math., vols. 121, 123 (1988)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01277482.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01277482\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01277482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T14:10:36Z","timestamp":1556633436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01277482"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,11]]},"references-count":7,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1992,11]]}},"alternative-id":["BF01277482"],"URL":"https:\/\/doi.org\/10.1007\/bf01277482","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,11]]}}}