{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T01:17:40Z","timestamp":1648948660993},"reference-count":24,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"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":4825,"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":[[2000,5]]},"DOI":"10.1016\/s0304-3975(99)00083-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:38:29Z","timestamp":1027636709000},"page":"363-387","source":"Crossref","is-referenced-by-count":0,"title":["Generalized filter models"],"prefix":"10.1016","volume":"238","author":[{"given":"Ines","family":"Margaria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maddalena","family":"Zacchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(99)00083-3_BIB1","series-title":"The Lambda Calculus. Its Syntax and Semantics","author":"Barendregt","year":"1984"},{"key":"10.1016\/S0304-3975(99)00083-3_BIB2","doi-asserted-by":"crossref","first-page":"931","DOI":"10.2307\/2273659","article-title":"A Filter model and the completeness of type assignment.","volume":"48","author":"Barendregt","year":"1983","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0304-3975(99)00083-3_BIB3","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0022-4049(83)90057-9","article-title":"The category of Z-continuous posets","volume":"30","author":"Bandelt","year":"1983","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(99)00083-3_BIB4","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1305\/ndjfl\/1093883253","article-title":"An extension of basic functionality theory for \u03bb-calculus","volume":"21","author":"Coppo","year":"1980","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S0304-3975(99)00083-3_BIB5","series-title":"Logic Colloquium \u201982","first-page":"241","article-title":"Extended type structures and filter lambda models","author":"Coppo","year":"1983"},{"key":"10.1016\/S0304-3975(99)00083-3_BIB6","series-title":"To H.B. Curry","first-page":"535","article-title":"Principal type schemes and \u03bb-calculus semantics","author":"Coppo","year":"1980"},{"key":"10.1016\/S0304-3975(99)00083-3_BIB7","first-page":"85","article-title":"Type theories, normal forms and D\u221e \u2212 lambda models Inform","volume":"72","author":"Coppo","year":"1987","journal-title":"Comput."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB8","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0304-3975(93)90086-9","article-title":"Type inference, abstract interpretation and strictness analysis, in: Dezani-Ciancaglini et al. (Eds.), A Collection of Contributions in Honor of Corrado B\u00f6hm","volume":"121","author":"Coppo","year":"1994","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB9","unstructured":"H.B. Curry, R. Feys, Combinatory Logic, vol. I, North-Holland, Amsterdam, 1958."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB10","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0304-3975(86)90043-5","article-title":"A characterization of F-complete type assignments","volume":"45","author":"Dezani-Ciancaglini","year":"1986","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB11","first-page":"126","article-title":"Uncountable Limits and the Lambda Calculus","volume":"2","author":"Di Gianantonio","year":"1995","journal-title":"Nordic J. Comput."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB12","unstructured":"J.Y. Girard, Interpretation Fonctionelle et Elimination des Coupures de l'Arithmetique d'Ordre Superior, These d'Etat, Universite\u2019 Paris VII, 1972."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB13","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1007\/BF01211394","article-title":"Types with Intersection, an introduction","volume":"4","author":"Hindley","year":"1992","journal-title":"Formal Aspects Comput."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB14","series-title":"Introduction to Combinators and \u03bb-Calculus","author":"Hindley","year":"1986"},{"key":"10.1016\/S0304-3975(99)00083-3_BIB15","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0304-3975(92)90070-V","article-title":"Filter models with polymorphic types","volume":"95","author":"Jacobs","year":"1992","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB16","doi-asserted-by":"crossref","unstructured":"D. Leivant, Polymorphic type inference, Proc. 10th ACM Symp. on Principles of Programming Languages, 1983, pp. 88\u201398.","DOI":"10.1145\/567067.567077"},{"key":"10.1016\/S0304-3975(99)00083-3_BIB17","doi-asserted-by":"crossref","unstructured":"D. Leivant, Discrete polymorphism, VI ACM Conf. on Lisp and Functional Programming, 1990, pp. 288\u2013297.","DOI":"10.1145\/91556.91675"},{"key":"10.1016\/S0304-3975(99)00083-3_BIB18","unstructured":"I. Margaria, M. Zacchi, Representable functions in Z-filter models, Internal Report, University of Turin, 1995."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB19","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0890-5401(88)90009-0","article-title":"Polymorphic type inference and containment","volume":"76","author":"Mitchell","year":"1988","journal-title":"Inform. Comput."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB20","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1006\/inco.1994.1018","article-title":"A semantics for static type inference","volume":"109","author":"Plotkin","year":"1994","journal-title":"Inform Comput."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB21","unstructured":"G. Plotkin, Set-theoretical and other elementary models of the \u03bb-calculus, in: Dezani-Ciancaglini et al. (Eds.), A Collection of Contributions in Honor of Corrado B\u00f6hm, Theoret. Comput. Sci. 121 (1994) 351\u2013409."},{"key":"10.1016\/S0304-3975(99)00083-3_BIB22","doi-asserted-by":"crossref","unstructured":"J.C. Reynolds, Towards a theory of type structure, Lecture Notes in Computer Science, vol. 19, Springer, Berlin, 1974, pp. 408\u2013425.","DOI":"10.1007\/3-540-06859-7_148"},{"key":"10.1016\/S0304-3975(99)00083-3_BIB23","doi-asserted-by":"crossref","unstructured":"D.S. Scott, Continuous lattices, Lecture Notes in Mathematics, vol. 274, Springer, Berlin, 1972, pp. 97\u2013136.","DOI":"10.1007\/BFb0073967"},{"key":"10.1016\/S0304-3975(99)00083-3_BIB24","unstructured":"J. Thatcher, E. Wagner, J. Wright, Notes on algebraic fundamentals for theoretical computer science, Summer School on Foundations of Artificial Intelligence and Computer Science, Pisa, 1978."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599000833?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397599000833?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,4]],"date-time":"2020-02-04T23:09:09Z","timestamp":1580857749000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397599000833"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,5]]},"references-count":24,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,5]]}},"alternative-id":["S0304397599000833"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(99)00083-3","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2000,5]]}}}