{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:42:59Z","timestamp":1725500579470},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775652"},{"type":"electronic","value":"9783540775669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77566-9_11","type":"book-chapter","created":{"date-parts":[[2008,1,5]],"date-time":"2008-01-05T01:18:43Z","timestamp":1199495923000},"page":"124-135","source":"Crossref","is-referenced-by-count":2,"title":["Recursive Domain Equations of Filter Models"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Alessi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paula","family":"Severi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1006\/inco.1993.1044","volume":"105","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S., Ong, L.C.: Full abstraction in the Lazy Lambda Calculus. Information and Computation\u00a0105, 159\u2013267 (1993)","journal-title":"Information and Computation"},{"unstructured":"Alessi, F.: Strutture di tipi, teoria dei domini, e modelli del \u03bb-calcolo. PhD Thesis. University of Turin (1991)","key":"11_CR2"},{"doi-asserted-by":"crossref","unstructured":"Alessi, F., Dezani-Ciancaglini, M., Honsell, F.: Inverse Limit Models as Filter Models. In: Proceedings of HOR 2004, pp. 3\u201325 (2004)","key":"11_CR3","DOI":"10.1016\/j.tcs.2004.01.022"},{"key":"11_CR4","volume-title":"The Lambda Calculus: Its syntax and semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus: Its syntax and semantics. North-Holland Publishing co., Amsterdam (1984)"},{"issue":"4","key":"11_CR5","doi-asserted-by":"publisher","first-page":"931","DOI":"10.2307\/2273659","volume":"48","author":"H. Barendregt","year":"1983","unstructured":"Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment. J. Symbolic Logic\u00a048(4), 931\u2013940 (1983)","journal-title":"J. Symbolic Logic"},{"issue":"4","key":"11_CR6","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1305\/ndjfl\/1093883253","volume":"21","author":"M. Coppo","year":"1980","unstructured":"Coppo, M., Dezani-Ciancaglini, M.: An extension of the basic functionality theory for the \u03bb-calculus. Notre Dame J. Formal Logic\u00a021(4), 685\u2013693 (1980)","journal-title":"Notre Dame J. Formal Logic"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/3-540-12727-5_2","volume-title":"CAAP 1983","author":"M. Coppo","year":"1983","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Longo, G.: Applicative information systems. In: Protasi, M., Ausiello, G. (eds.) CAAP 1983. LNCS, vol.\u00a0159, pp. 35\u201364. Springer, Heidelberg (1983)"},{"key":"11_CR8","first-page":"241","volume-title":"Logic Colloquium 1982","author":"M. Coppo","year":"1984","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Honsell, F., Longo, G.: Extended type structures and filter lambda models. In: Logic Colloquium 1982, pp. 241\u2013262. North-Holland, Amsterdam (1984)"},{"issue":"2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0890-5401(87)90042-3","volume":"72","author":"M. Coppo","year":"1987","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Zacchi, M.: Type theories, normal forms and D \u2009\u221e\u2009 lambda models. Information and Compuation\u00a072(2), 85\u2013116 (1987)","journal-title":"Information and Compuation"},{"issue":"1\u20133","key":"11_CR10","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.tcs.2004.01.023","volume":"316","author":"M. Dezani-Ciancaglini","year":"2004","unstructured":"Dezani-Ciancaglini, M., Ghilezan, S., Likavec, S.: Behavioural inverse limit models. Theoret. Comput. Sci.\u00a0316(1\u20133), 49\u201374 (2004)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/601775.601780","volume":"4","author":"M. Dezani-Ciancaglini","year":"2003","unstructured":"Dezani-Ciancaglini, M., Honsell, F., Alessi, F.: A complete characterization of complete intersection-type preorders. ACM TOCL\u00a04(1), 120\u2013146 (2003)","journal-title":"ACM TOCL"},{"issue":"3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/j.tcs.2005.03.011","volume":"304","author":"M. Dezani-Ciancaglini","year":"2005","unstructured":"Dezani-Ciancaglini, M., Honsell, F., Motohama, Y.: Compositional characterization of \u03bb-terms using intersection types. Theoret. Comput. Sci.\u00a0304(3), 459\u2013495 (2005)","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous lattices and domains","author":"G. Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, D.J., Mislove, M.W., Scott, D.: Continuous lattices and domains. Cambridge University Press, Cambridge (2003)"},{"issue":"4","key":"11_CR14","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1002\/malq.19800261902","volume":"26","author":"R. Hindley","year":"1980","unstructured":"Hindley, R., Longo, G.: Lambda calculus models and extensionality. Z. Math Logik Grundlag. Math\u00a026(4), 289\u2013310 (1980)","journal-title":"Z. Math Logik Grundlag. Math"},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0022-0000(92)90040-P","volume":"45","author":"F. Honsell","year":"1992","unstructured":"Honsell, F., Ronchi Della Rocca, S.: An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus. J. Comput. System Sci.\u00a045(1), 49\u201375 (1992)","journal-title":"J. Comput. System Sci."},{"unstructured":"Park, D.: The Y-combinator in Scott\u2019s \u03bb-calculus models (revised version). Theory of Computation Report 13, Department of Computer Science, University of Warick (1976)","key":"11_CR16"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/0304-3975(93)90094-A","volume":"121","author":"G. Plotikin","year":"1993","unstructured":"Plotikin, G.: Set-Theoretic and Other Elementary Models of the \u03bb-Calculus. Theoretical Computer Science\u00a0121, 351\u2013409 (1993)","journal-title":"Theoretical Computer Science"},{"key":"11_CR18","series-title":"An EACTS Series","volume-title":"Texts in Theoretical Computer Science","author":"S. Ronchi della Rocca","year":"2004","unstructured":"Ronchi della Rocca, S., Paolini, L.: The Parametric Lambda Calculus. A Metamodel for Computation. In: Texts in Theoretical Computer Science. An EACTS Series, Springer, Heidelberg (2004)"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/BFb0012801","volume-title":"Automata, Languages, and Programming","author":"D.S. Scott","year":"1982","unstructured":"Scott, D.S.: Domains for denotational semantics. In: Nielsen, M., Schmidt, E.M. (eds.) Automata, Languages, and Programming. LNCS, vol.\u00a0140, pp. 577\u2013613. Springer, Heidelberg (1982)"},{"issue":"4","key":"11_CR20","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M.B. Smyth","year":"1982","unstructured":"Smyth, M.B., Plotkin, G.D.: The category-theoretic solution of recursive domain equations. SIAM Journal on Computing\u00a011(4), 761\u2013783 (1982)","journal-title":"SIAM Journal on Computing"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2008: Theory and Practice of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77566-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:10:09Z","timestamp":1606165809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77566-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540775652","9783540775669"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77566-9_11","relation":{},"subject":[]}}