)
 author       = "1",
@inproceedings(AFG07,
 author       = "Davide Ancona and Sonia Fagorzi and Elena Zucca",
 year         = "2008",
 title        = "A Parametric Calculus for Mobile Open Code",
 booktitle    = "DCM'07",
 series       = "ENTCS",
 volume       = "192(3)",
 publisher    = "Elsevier",
 pages        = "3--22",
 doi          = "10.1016/j.entcs.2008.10.024",
)
@inproceedings(AnconaMoggi04,
 author       = "Davide Ancona and Eugenio Moggi",
 year         = "2004",
 title        = "A Fresh Calculus for Name Management",
 booktitle    = "GPCE'04",
 series       = "LNCS",
 volume       = "3286",
 publisher    = "Springer",
 pages        = "206--224",
 doi          = "10.1007/978-3-540-30175-2\_11",
)
@article(Barbanera-Dezani-deLiguoro:IC-95,
 author       = "Franco Barbanera and Mariangiola Dezani-Ciancaglini and Ugo de' Liguoro",
 year         = "1995",
 title        = "Intersection and Union Types: Syntax and Semantics",
 journal      = "Information and Computation",
 volume       = "119",
 pages        = "202--230",
 doi          = "10.1006/inco.1995.1086",
)
@article(barecoppdeza83,
 author       = "Henk P. Barendregt and Mario Coppo and Maraingiola Dezani-Cian\-caglini",
 year         = "1983",
 title        = "A filter lambda model and the completeness of type assignment",
 journal      = "The Journal of Symbolic Logic",
 volume       = "48",
 number       = "4",
 pages        = "931--940",
 doi          = "10.2307/2273659",
)
@inproceedings(BiermanEtAl03a,
 author       = "Gavin Bierman and Michael W. Hicks and Peter Sewell and Gareth Stoyle and Keith Wansbrough",
 year         = "2003",
 title        = "Dynamic Rebinding for Marshalling and Update, with Destruct-Time $\lambda $",
 booktitle    = "ICFP'03",
 publisher    = "ACM Press",
 pages        = "99--110",
 doi          = "10.1145/944705.944715",
)
@article(coppdeza80,
 author       = "Mario Coppo and Mariangiola Dezani-Cian\-caglini",
 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",
)
@incollection(coppdezahonslong84,
 author       = "Mario Coppo and Mariangiola Dezani-Cian\-caglini and Furio Honsell and Giuseppe Longo",
 year         = "1984",
 title        = "Extended type structures and filter lambda models",
 booktitle    = "Logic colloquium '82",
 publisher    = "North-Holland",
 pages        = "241--262",
 doi          = "10.1016/S0049-237X(08)71819-6",
)
@article(coppdezazacc87,
 author       = "Mario Coppo and Mariangiola Dezani-Cian\-caglini and Maddalena Zacchi",
 year         = "1987",
 title        = "Type theories, normal forms, and ${D}\sb \infty $-lambda-models",
 journal      = "Information and Computation",
 volume       = "72",
 number       = "2",
 pages        = "85--116",
 doi          = "10.1016/0890-5401(87)90042-3",
)
@article(Dami97alambda-calculus,
 author       = "Laurent Dami",
 year         = "1997",
 title        = "A Lambda-Calculus for Dynamic Binding",
 journal      = "Theoretical Computer Science",
 volume       = "192",
 number       = "2",
 pages        = "201--231",
 doi          = "10.1016/S0304-3975(97)00150-3",
)
@article(dezaghillika04,
 author       = "Mariangiola Dezani-Cian\-caglini and Silvia Ghilezan and Silvia Likavec",
 year         = "2004",
 title        = "Behavioural Inverse Limit lambda-models",
 journal      = "Theoretical Computer Science",
 volume       = "316",
 number       = "1--3",
 pages        = "49--74",
 doi          = "10.1016/j.tcs.2004.01.023",
)
@article(DGN08b,
 author       = "Mariangiola Dezani-Ciancaglini and Paola Giannini and Oscar Nierstrasz",
 year         = "2008",
 title        = "A Calculus of Evolving Objects",
 journal      = "Scientific Annals of Computer Science",
 volume       = "18",
 pages        = "63--98",
)
@inproceedings(DezaniEtAl09,
 author       = "Mariangiola Dezani-Ciancaglini and Paola Giannini and Elena Zucca",
 year         = "2009",
 title        = "The essence of static and dynamic bindings",
 booktitle    = "ICTCS'09",
 note         = "\url {http://www.disi.unige.it/person/ZuccaE/Research/papers/ICTCS09-DGZ.pdf}",
)
@article(DezaniEtAl10,
 author       = "Mariangiola Dezani-Ciancaglini and Paola Giannini and Elena Zucca",
 year         = "2010",
 title        = "Extending lambda-calculus with unbind and rebind",
 journal      = "RAIRO - Theoretical Informatics and Applications",
 note         = "To appear. \url {http://www.disi.unige.it/person/ZuccaE/Research/papers/ITA10.pdf}",
)
@article(FCB08,
 author       = "Alain Frisch and Giuseppe Castagna and Veronique Benzaken",
 year         = "2008",
 title        = "Semantic Subtyping: dealing set-theoretically with function, union, intersection, and negation types",
 journal      = "Journal of the ACM",
 volume       = "55",
 number       = "4",
 pages        = "1--64",
 doi          = "10.1145/1391289.1391293",
 note         = "Extends and supersedes LICS'02 and ICALP/PPDP'05 articles",
)
@inproceedings(KSS06,
 author       = "Oleg Kiselyov and {Chung-chieh} Shan and Amr Sabry",
 year         = "2006",
 title        = "Delimited dynamic binding",
 booktitle    = "ICFP'06",
 publisher    = "ACM Press",
 pages        = "26--37",
 doi          = "10.1145/1159803.1159808",
)
@article(M98,
 author       = "Luc Moreau",
 year         = "1998",
 title        = "A Syntactic Theory of Dynamic Binding",
 journal      = "Higher Order and Symbolic Computation",
 volume       = "11",
 number       = "3",
 pages        = "233--279",
 doi          = "10.1023/A:1010087314987",
)
@article(NanevskiPfenning05,
 author       = "Aleksandar Nanevski and Frank Pfenning",
 year         = "2005",
 title        = "Staged computation with names and necessity",
 journal      = "Journal of Functional Programming",
 volume       = "15",
 number       = "5",
 pages        = "893--939",
 doi          = "10.1017/S095679680500568X",
)
@book(pierce,
 author       = "Benjamin C. Pierce",
 year         = "2002",
 title        = "Types and Programming Languages",
 publisher    = "MIT Press",
)
@article(plot77,
 author       = "Gordon Plotkin",
 year         = "1977",
 title        = "{LCF} considered as a programming language",
 journal      = "Theoretical Computer Science",
 volume       = "5",
 pages        = "225--255",
 doi          = "10.1016/0304-3975(77)90044-5",
)
@incollection(pott80,
 author       = "Garrel Pottinger",
 year         = "1980",
 title        = "A type assignment for the strongly normalizable $\lambda $-terms",
 booktitle    = "To {H}. {B}. {C}urry: essays on combinatory logic, lambda calculus and formalism",
 publisher    = "Academic Press",
 pages        = "561--577",
)
@inproceedings(RytzOdersky10,
 author       = "Lukas Rytz and Martin Odersky",
 year         = "2010",
 title        = "Named and default arguments for polymorphic object-oriented languages",
 booktitle    = "OOPS'10",
 publisher    = "ACM Press",
 pages        = "2090--2095",
 doi          = "10.1145/1774088.1774529",
)
@article(Sewell2007,
 author       = "Peter Sewell and James J. Leifer and Keith Wansbrough and Mair Allen-Williams and Francesco Zappa Nardelli and Pierre Habouzit and Viktor Vafeiadis",
 year         = "2007",
 title        = "Acute: High-level programming language design for distributed computation: Design rationale and language definition",
 journal      = "Journal of Functional Programming",
 volume       = "17",
 number       = "4-5",
 pages        = "547--612",
 doi          = "10.1017/S0956796807006442",
)
@article(MetaML,
 author       = "Walid Taha and Tim Sheard",
 year         = "2000",
 title        = "Meta{M}{L} and multi-stage programming with explicit annotations",
 journal      = "Theoretical Computer Science",
 volume       = "248",
 number       = "1-2",
 pages        = "211--242",
 doi          = "10.1016/S0304-3975(00)00053-0",
)
@inproceedings(T09,
 author       = "\`Eric Tanter",
 year         = "2009",
 title        = "Beyond Static and Dynamic Scope",
 booktitle    = "Dynamic Languages Symposium'09",
 publisher    = "ACM Press",
 pages        = "3--14",
 doi          = "10.1145/1640134.1640137",
)
@article(Venn94,
 author       = "Betti Venneri",
 year         = "1994",
 title        = "Intersection Types as Logical Formulae",
 journal      = "Journal of Logic and Computation",
 volume       = "4",
 number       = "2",
 pages        = "109--124",
 doi          = "10.1093/logcom/4.2.109",
)