@inproceedings(Ale01,
 author       = "F. Alessi and M. {Dezani-Ciancaglini} and F. Honsell",
 year         = "2001",
 title        = "{Filter Models and Easy Terms}",
 booktitle    = "ICTCS",
 series       = "LNCS",
 volume       = "2202",
 publisher    = "Springer",
 pages        = "17--37",
 doi          = "10.1007/3-540-45446-2\_2",
)
@inproceedings(BaeBoe79,
 author       = "J. Baeten and B. Boerboom",
 year         = "1979",
 title        = "Omega can be anything it should not be",
 booktitle    = "Koninklijke Netherlandse Akademie van Wetenschappen",
 volume       = "41",
 pages        = "111--120",
 doi          = "10.1016/1385-7258(79)90016-7",
)
@book(Barendregt84,
 author       = "H. P. Barendregt",
 year         = "1984",
 title        = "The Lambda calculus: Its syntax and semantics",
 publisher    = "North-Holland",
 address      = "Amsterdam",
)
@article(BarendregtCD83,
 author       = "H. P. Barendregt and M. Coppo and M. {Dezani-Ciancaglini}",
 year         = "1983",
 title        = "A filter lambda model and the completeness of type assignment",
 journal      = "Journal of Symbolic Logic",
 volume       = "48",
 number       = "4",
 pages        = "931--940",
 doi          = "10.2307/2273659",
)
@inproceedings(PravatoBR98,
 author       = "O. Bastonero and A. Pravato and S. {Ronchi Della Rocca}",
 year         = "1998",
 title        = "Structures for lazy semantics",
 booktitle    = "PROCOMET",
 pages        = "30--48",
)
@article(Berline00,
 author       = "C. Berline",
 year         = "2000",
 title        = "From computation to foundations via functions and application: the $\lambda $-calculus and its webbed models",
 journal      = "Theoretical Computer Science",
 volume       = "249",
 pages        = "81--161",
 doi          = "10.1016/S0304-3975(00)00057-8",
)
@inproceedings(Ber78,
 author       = "G. Berry",
 year         = "1978",
 title        = "Stable models of typed lambda-calculi",
 booktitle    = "ICALP",
 publisher    = "Springer-Verlag",
 address      = "Berlin",
 doi          = "10.1007/3-540-08860-1\_7",
)
@inproceedings(BucEhr91,
 author       = "A. Bucciarelli and T. Ehrhard",
 year         = "1991",
 title        = "Sequentiality and strong stability",
 booktitle    = "LICS",
 pages        = "138--145",
 doi          = "10.1109/LICS.1991.151638",
)
@inproceedings(BucSal03,
 author       = "A. Bucciarelli and A. Salibra",
 year         = "2003",
 title        = "The minimal graph model of lambda calculus",
 booktitle    = "MFCS",
 pages        = "300--307",
 doi          = "10.1007/978-3-540-45138-9\_24",
)
@article(BucciarelliS08,
 author       = "A. Bucciarelli and A. Salibra",
 year         = "2008",
 title        = "Graph lambda theories",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "18",
 number       = "5",
 pages        = "975--1004",
 doi          = "10.1017/S0960129508006683",
)
@inproceedings(CarSal09,
 author       = "A. Carraro and A. Salibra",
 year         = "2009",
 title        = "Reflexive Scott domains are not complete for the extensional lambda-calculus",
 booktitle    = "LICS",
 pages        = "91--100",
 doi          = "10.1109/LICS.2009.22",
)
@article(CarSal12,
 author       = "A. Carraro and A. Salibra",
 year         = "2012",
 title        = "Easy lambda-terms are not always simple",
 journal      = "RAIRO - Theor. Inform. and Applic.",
 volume       = "46",
 number       = "2",
 doi          = "10.1051/ita/2012005",
)
@article(CoppoD80,
 author       = "M. Coppo and M. {Dezani-Ciancaglini}",
 year         = "1980",
 title        = "An Extension of the Basic Functionality Theory for the $\lambda $-Calculus",
 journal      = "Notre-Dame Journal of Formal Logic",
 volume       = "21",
 number       = "4",
 pages        = "685--693",
 doi          = "10.1305/ndjfl/1093883253",
)
@inproceedings(CopDezHonLon84,
 author       = "M. Coppo and M. {Dezani-Ciancaglini} and F. Honsell and G. Longo",
 year         = "1984",
 title        = "Extended Type Structures and Filter Lambda Models",
 editor       = "G. Lolli and G. Longo and A. Marcja",
 booktitle    = "Logic Colloquium 82",
 publisher    = "Elsevier",
 pages        = "241--262",
 doi          = "10.1016/S0049-237X(08)71819-6",
)
@article(DiGianantonioHP95,
 author       = "P. {Di Gianantonio} and F. Honsell and G. D. Plotkin",
 year         = "1995",
 title        = "Uncountable limits and the lambda calculus",
 journal      = "Nordic Journal of Computing",
 volume       = "2",
 number       = "2",
 pages        = "126--145",
)
@article(Engeler81,
 author       = "E. Engeler",
 year         = "1981",
 title        = "Algebras and combinators",
 journal      = "Algebra Universalis",
 volume       = "13",
 number       = "3",
 pages        = "289--371",
 doi          = "10.1007/BF02483849",
)
@article(Kerth98b,
 author       = "R. Kerth",
 year         = "1998",
 title        = "Isomorphism and equational equivalence of continuous lambda models",
 journal      = "Studia Logica",
 volume       = "61",
 pages        = "403--415",
 doi          = "10.1023/A:1005018121791",
)
@article(Koymans82,
 author       = "C.P.J. Koymans",
 year         = "1982",
 title        = "Models of the Lambda Calculus",
 journal      = "Information and Control",
 volume       = "52",
 number       = "3",
 pages        = "306--332",
 doi          = "10.1016/S0019-9958(82)90796-3",
)
@article(Larsen91,
 author       = "K. G. Larsen and G. Winskel",
 year         = "1991",
 title        = "Using Information Systems to Solve Recursive Domain Equations",
 journal      = "Information and Computation",
 volume       = "91",
 number       = "2",
 pages        = "232--258",
 doi          = "10.1016/0890-5401(91)90068-D",
)
@article(Longo83,
 author       = "G. Longo",
 year         = "1983",
 title        = "Set-theoretical models of $\lambda $-calculus: theories, expansions, isomorphisms",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "24",
 number       = "2",
 pages        = "153--188",
 doi          = "10.1016/0168-0072(83)90030-1",
)
@article(Mey82,
 author       = "A. R. Meyer",
 year         = "1982",
 title        = "What is a model of the lambda calculus?",
 journal      = "Information and Control",
 volume       = "52",
 pages        = "87--122",
 doi          = "10.1016/S0019-9958(82)80087-9",
)
@inproceedings(PPR09,
 author       = "L. Paolini and M. Piccolo and {S. Ronchi Della Rocca}",
 year         = "2009",
 title        = "Logical semantics for stability",
 booktitle    = "MFPS",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "249",
 publisher    = "Elsevier",
 pages        = "429--449",
 doi          = "10.1016/j.entcs.2009.07.101",
)
@article(Plotkin93,
 author       = "G. D. Plotkin",
 year         = "1993",
 title        = "Set-Theoretical and Other Elementary Models of the lambda-Calculus",
 journal      = "Theoretical Computer Science",
 volume       = "121",
 number       = "1\&2",
 pages        = "351--409",
 doi          = "10.1016/0304-3975(93)90094-A",
)
@inproceedings(Sco72,
 author       = "D. S. Scott",
 year         = "1972",
 title        = "Continuous lattices",
 editor       = "{F. W.} Lawvere",
 booktitle    = "Dalhousie Conf. on Toposes, algebraic geometry and logic",
 publisher    = "Springer",
 pages        = "97--136",
 doi          = "10.1007/BFb0073967",
)
@inproceedings(Sco80,
 author       = "D. S. Scott",
 year         = "1980",
 title        = "Lambda calculus: Some models, some philosophy",
 editor       = "K. Kunen J. Barwise, H.J. Keisler",
 booktitle    = "The {Kleene} Symposium",
 publisher    = "North-Holland",
 pages        = "223--265",
 doi          = "10.1016/S0049-237X(08)71262-X",
)
@inproceedings(Sco82,
 author       = "D. S. Scott",
 year         = "1982",
 title        = "Domains for Denotational Semantics",
 booktitle    = "ICALP",
 series       = "Lecture Notes in Computer Science",
 volume       = "140",
 publisher    = "Springer",
 pages        = "577--613",
 doi          = "10.1007/BFb0012801",
)
@article(Scott76,
 author       = "D.S. Scott",
 year         = "1976",
 title        = "Data types as lattices",
 journal      = "SIAM Journal of Computing",
 volume       = "5",
 number       = "3",
 pages        = "522�587",
 doi          = "10.1137/0205037",
)