@article(intermodels,
 author       = {Fabio Alessi and Franco Barbanera and Dezani-Ciancaglini, Mariangiola},
 year         = {2006},
 title        = {Intersection types and lambda models},
 journal      = {Theoretical Computer Science},
 volume       = {355},
 number       = {2},
 pages        = {108--126},
 doi          = {10.1016/j.tcs.2006.01.004},
)
@article(interbakel,
 author       = {Steffen van Bakel},
 year         = {1995},
 title        = {Intersection Type Assignment Systems},
 journal      = {Theoretical Computer Science},
 volume       = {151},
 number       = {2},
 pages        = {385--435},
 doi          = {10.1016/0304-3975(95)00073-6},
)
@article(intermixin,
 author       = {Jan Bessai and Tzu-Chun Chen and Andrej Dudenhefner and Boris D{\"u}dder and Ugo de Liguoro and Jakob Rehof},
 year         = {2018},
 title        = {Mixin Composition Synthesis Based on Intersection Types},
 journal      = {Logical Methods in Computer Science},
 volume       = {14},
 pages        = {37},
 doi          = {10.23638/LMCS-14(1:18)2018},
)
@article(interbcd,
 author       = {Henk Barendregt and Mario Coppo and Dezani-Ciancaglini, Mariangiola},
 year         = {1983},
 title        = {A Filter Lambda Model and the Completeness of Type Assignment},
 journal      = {Journal of Symbolic Logic},
 volume       = {48},
 pages        = {931--940},
 doi          = {10.2307/2273659},
)
@inproceedings(nominalsubtyping,
 author       = {Andrew Kennedy and Benjamin Pierce},
 year         = {2007},
 title        = {On Decidability of Nominal Subtyping with Variance},
 booktitle    = {International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD '07)},
 note         = {url: \url{http://foolwood07.cs.uchicago.edu/program/kennedy.pdf}\tmspace+\thickmuskip{.2777em}},
)
@unpublished(tutinter,
 author       = {Olivier Laurent},
 year         = {2012},
 title        = {A syntactic introduction to intersection types},
 note         = {Unpublished note. url: \url{http://perso.ens-lyon.fr/olivier.laurent/tutinter.pdf}\tmspace+\thickmuskip{.2777em}},
)
@book(paramlambda,
 author       = {Ronchi Della Rocca, Simona and Luca Paolini},
 year         = {2004},
 title        = {The Parametric Lambda Calculus},
 series       = {Texts in Theoretical Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-3-662-10394-4},
)
@article(interlf,
 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},
)