@article(barba,
 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(BruceDicosmoLongo92,
 author       = "Kim Bruce and Roberto Di Cosmo and Giuseppe Longo",
 year         = "1992",
 title        = "Provable Isomorphisms of Types",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "2",
 number       = "2",
 pages        = "231--247",
 doi          = "10.1017/S0960129500001444",
)
@inproceedings(BruceLongo85,
 author       = "Kim Bruce and Giuseppe Longo",
 year         = "1985",
 title        = "Provable Isomorphisms and Domain Equations in Models of Typed Languages",
 editor       = "R. Sedgewick",
 booktitle    = "STOC'85",
 publisher    = "ACM Press",
 pages        = "263 -- 272",
 doi          = "10.1145/22145.22175",
)
@incollection(CDHL84,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Furio Honsell and Giuseppe Longo",
 year         = "1984",
 title        = "Extended Type Structures and Filter Lambda Models",
 editor       = "G. Lolli and G. Longo and A. Marcja",
 booktitle    = "LC'82",
 publisher    = "North-Holland",
 pages        = "241--262",
)
@inproceedings(CDMZ13,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Ines Margaria and Maddalena Zacchi",
 year         = "2013",
 title        = "Towards Isomorphism of Intersection and Union Types",
 editor       = "S. Graham-Lengrand and L. Paolini",
 booktitle    = "ITRS'12",
 series       = "EPTCS",
 volume       = "121",
 pages        = "58 -- 80",
 doi          = "10.4204/EPTCS.121.5",
)
@inproceedings(CDMZ14,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Ines Margaria and Maddalena Zacchi",
 year         = "2014",
 title        = "Isomorphism of "Functional" Intersection Types",
 editor       = "Ralph Matthes and Aleksy Schubert",
 booktitle    = "Types'13",
 volume       = "26",
 publisher    = "LIPIcs",
 pages        = "129--149",
 doi          = "10.4230/LIPIcs.TYPES.2013.129",
)
@article(CDMZ13a,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Ines Margaria and Maddalena Zacchi",
 year         = "2014",
 title        = "Isomorphism of Intersection and Union Types",
 journal      = "Mathematical Structures in Computer Science",
 note         = "To appear",
)
@article(D82,
 author       = "Nachum Dershowitz",
 year         = "1982",
 title        = "Orderings for Term-Rewriting Systems",
 journal      = "Theoretical Computer Science",
 volume       = "17",
 number       = "3",
 pages        = "279 -- 301",
 doi          = "10.1016/0304-3975(82)90026-3",
)
@article(Dezani,
 author       = "Mariangiola {Dezani-Ciancaglini}",
 year         = "1976",
 title        = "Characterization of Normal Forms Possessing an Inverse in the {$\lambda \beta \eta $}-Calculus",
 journal      = "Theoretical Computer Science",
 volume       = "2",
 number       = "3",
 pages        = "323--337",
 doi          = "10.1016/0304-3975(76)90085-2",
)
@article(DDGT10,
 author       = "Mariangiola Dezani-Ciancaglini and Roberto Di Cosmo and Elio Giovannetti and Makoto Tatsuta",
 year         = "2010",
 title        = "On Isomorphisms of Intersection Types",
 journal      = "ACM TOCL",
 volume       = "11",
 number       = "4",
 pages        = "1--22",
 doi          = "10.1145/1805950.1805955",
)
@article(Dicosmo93,
 author       = "Roberto Di Cosmo",
 year         = "1995",
 title        = "Second Order Isomorphic Types. {A} Proof Theoretic Study on Second Order $\lambda $-Calculus with Surjective Pairing and Terminal Object",
 journal      = "Information and Computation",
 volume       = "119",
 number       = "2",
 pages        = "176--201",
 doi          = "10.1006/inco.1995.1085",
)
@article(MSCSSurvey05,
 author       = "Roberto Di Cosmo",
 year         = "2005",
 title        = "A Short Survey of Isomorphisms of Types",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "15",
 pages        = "825--838",
 doi          = "10.1017/S0960129505004871",
)
@article(DD14,
 author       = "Alejandro D\'iaz-Caro and Gilles Dowek",
 year         = "2015",
 title        = "{Simply Typed Lambda-Calculus Modulo Type Isomorphisms}",
 journal      = "Theoretical Computer Science",
 note         = "To appear",
)
@article(mitj,
 author       = "Neil Mitchell",
 year         = "2008",
 title        = "Hoogle Overview",
 journal      = "The Monad.Reader",
 volume       = "12",
 pages        = "27--35",
)
@unpublished(mit,
 author       = "Neil Mitchell",
 year         = "2011",
 title        = "Hoogle: Finding Functions from Types",
 url          = "http://community.haskell.org/~ndm/downloads/slides-hoogle_finding_functions_from_types-16_may_2011.pdf",
 note         = "Invited Presentation from TFP 2011",
)
@article(N42,
 author       = "Maxwell H. A. Newman",
 year         = "1942",
 title        = "On Theories with a Combinatorial Definition of ``Equivalence''",
 journal      = "Annals of Mathematics",
 volume       = "43",
 number       = "2",
 pages        = "223--243",
 doi          = "10.2307/1968867",
)
@article(SE3,
 author       = "Richard Routley and Robert K. Meyer",
 year         = "1972",
 title        = "The Semantics of Entailment {III}",
 journal      = "Journal of Philosophical Logic",
 volume       = "1",
 pages        = "192--208",
 doi          = "10.1007/BF00650498",
)
@incollection(S72,
 author       = "Dana Scott",
 year         = "1972",
 title        = "Continuous Lattices",
 editor       = "F. W. Lawvere",
 booktitle    = "Toposes, Algebraic Geometry, and Logic",
 series       = "LNM",
 volume       = "274",
 publisher    = "Springer-Verlag",
 pages        = "97--136",
 doi          = "10.1007/BFb0073967",
)
@article(Solovev83,
 author       = "Sergei Soloviev",
 year         = "1983",
 title        = "The Category of Finite Sets and Cartesian Closed Categories",
 journal      = "Journal of Soviet Mathematics",
 volume       = "22",
 number       = "3",
 pages        = "1387--1400",
 doi          = "10.1007/BF01084396",
 note         = "English translation of the original paper in Russian published in Zapiski Nauchnych Seminarov LOMI, v.105, 1981",
)
@inproceedings(soloviev93complete,
 author       = "Sergei Soloviev",
 year         = "1993",
 title        = "A Complete Axiom System for Isomorphism of Types in Closed Categories",
 editor       = "A. Voronkov",
 booktitle    = "LPAR'93",
 series       = "LNCS",
 volume       = "698",
 publisher    = "Springer-Verlag",
 pages        = "360--371",
 doi          = "10.1007/3-540-56944-8\_71",
)