)
 author       = "1",
@unknown(Ariola-Herbelin'03,
 author       = "Z.M. Ariola and H. Herbelin",
 year         = "2003",
 title        = "{Minimal Classical Logic and Control Operators}",
 booktitle    = "Proceedings of Automata, Languages and Programming, 30th International Colloquium, ICALP'03, 2003",
 series       = "Lecture Notes in Computer Science",
 volume       = "2719",
 publisher    = "Springer",
 pages        = "871--885",
)
@unknown(Bakel-TCS'92,
 author       = "S. van Bakel",
 year         = "1992",
 title        = "Complete restrictions of the Intersection Type {D}iscipline",
 journal      = "Theoretical Computer Science",
 volume       = "102",
 number       = "1",
 pages        = "135--163",
)
@unknown(Bakel-APAL'10,
 author       = "S. van Bakel",
 year         = "2010",
 title        = "{Completeness and Partial Soundness Results for Intersection \& Union Typing for ${\overline {`l}`m\mathaccent "767E\relax {\mu }}$}",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "161",
 pages        = "1400--1430",
)
@unknown(Bakel-FI'10,
 author       = "S. van Bakel",
 year         = "2010",
 title        = "{Completeness and Soundness results for $\cal X$ with Intersection and Union Types}",
 note         = "To appear in: Fundamenta Informaticae",
)
@unknown(Bakel-deLiguoro-TOCS'08,
 author       = "S. van Bakel and U. {de'Liguoro}",
 year         = "2008",
 title        = "Logical equivalence for subtyping object and recursive types",
 journal      = "Theory of Computing Systems",
 volume       = "42",
 number       = "3",
 pages        = "306--348",
)
@unknown(Bakel-Fernandez-IaC'97,
 author       = "S. van Bakel and M. Fern\'andez",
 year         = "1997",
 title        = "{Normalization Results for Typeable Rewrite Systems}",
 journal      = "Information and Computation",
 volume       = "2",
 number       = "133",
 pages        = "73--116",
)
@unknown(vBLL-ICTCS'05,
 author       = "S. van Bakel and S. Lengrand and P. Lescanne",
 year         = "2005",
 title        = "{The language $\cal X$: Circuits, Computations and Classical Logic}",
 booktitle    = "Proceedings of Ninth Italian Conference on Theoretical Computer Science {\rm (ICTCS'05)}",
 series       = "Lecture Notes in Computer Science",
 volume       = "3701",
 publisher    = "Springer Verlag",
 pages        = "81--96",
)
@unknown(Bakel-Lescanne-MSCS'08,
 author       = "S. van Bakel and P. Lescanne",
 year         = "2008",
 title        = "{Computation with Classical Sequents}",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "18",
 pages        = "555--609",
)
@unknown(Barbanera-Dezani-Liguoro-IaC'95,
 author       = "F. Barbanera and M. {Dezani-Ciancaglini} and U. {de'Liguoro}",
 year         = "1995",
 title        = "Intersection and {U}nion Types: Syntax and Semantics",
 journal      = "Information and Computation",
 volume       = "119(2)",
 pages        = "202--230",
)
@unknown(Barendregt'84,
 author       = "H. Barendregt",
 year         = "1984",
 title        = "{The Lambda Calculus: its Syntax and Semantics}",
 publisher    = "North-Holland",
 address      = "Amsterdam",
)
@unknown(BCD'83,
 author       = "H. 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",
)
@unknown(Church'36,
 author       = "A. Church",
 year         = "1936",
 title        = "A Note on the Entscheidungsproblem",
 journal      = "Journal of Symbolic Logic",
 volume       = "1",
 number       = "1",
 pages        = "40--41",
)
@unknown(Coppo-Dezani'78,
 author       = "M. Coppo and M. Dezani{-}Ciancaglini",
 year         = "1978",
 title        = "{A New Type Assignment for Lambda-Terms}",
 journal      = "Archive f\"ur Mathematischer Logic und Grundlagenforschung",
 volume       = "19",
 pages        = "139--156",
)
@unknown(Curien-Herbelin'00,
 author       = "P.-L. Curien and H. Herbelin",
 year         = "2000",
 title        = "The {D}uality of Computation",
 booktitle    = "Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP'00)",
 series       = "ACM Sigplan Notices",
 volume       = "35.9",
 pages        = "233--243",
)
@unknown(Curry-Feys'58,
 author       = "H.B. Curry and R. Feys",
 year         = "1958",
 title        = "Combinatory Logic",
 volume       = "1",
 publisher    = "North-Holland",
 address      = "Amsterdam",
)
@unknown(Davies-Pfenning'01,
 author       = "R. Davies and F. Pfenning",
 year         = "2001",
 title        = "A judgmental reconstruction of modal logic",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "11",
 number       = "4",
 pages        = "511--540",
)
@unknown(DGL-ITRS'04,
 author       = "D. Dougherty and S. Ghilezan and P. Lescanne",
 year         = "2004",
 title        = "Intersection and {U}nion Types in the ${\overline {`l}`m\mathaccent "767E\relax {\mu }}$-calculus",
 booktitle    = "Electronic Proceedings of 2nd International Workshop {\em Intersection Types and Related Systems} (ITRS'04)",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "136",
 pages        = "228--246",
)
@unknown(DGL-CDR'08,
 author       = "D. Dougherty and S. Ghilezan and P. Lescanne",
 year         = "2008",
 title        = "{Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage}",
 journal      = "Theoretical Computer Science",
 volume       = "398",
)
@unknown(Dunfield-Pfenning'03,
 author       = "J. Dunfield and F. Pfenning",
 year         = "2003",
 title        = "{Type Assignment for Intersections and Unions in Call-by-Value Languages}",
 booktitle    = "Proceedings of 6th International Conference on {\em Foundations of Software Science and Computational Structures} (FOSSACS'03)",
 pages        = "250--266",
)
@unknown(Gentzen'35,
 author       = "G. Gentzen",
 year         = "1935",
 title        = "Investigations into logical deduction",
 booktitle    = "The Collected Papers of {G}erhard {G}entzen",
 publisher    = "Ed M. E. Szabo, North Holland, 68ff (1969)",
)
@unknown(deGroote'94,
 author       = "Ph. de Groote",
 year         = "1994",
 title        = "On the relation between the $\lambda \mu $-calculus and the syntactic theory of sequential control",
 booktitle    = "Proceedings of 5th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'94)",
 series       = "Lecture Notes in Computer Science",
 volume       = "822",
 publisher    = "Springer Verlag",
 pages        = "31--43",
)
@unknown(Harper-Lillibridge'91,
 author       = "B. Harper and M. Lillibridge",
 year         = "1991",
 title        = "{ML} with callcc is unsound",
 note         = "Post to TYPES mailing list, July 8",
)
@unknown(Herbelin'05,
 author       = "H. Herbelin",
 year         = "2005",
 title        = "C'est maintenant qu'on calcule: au c\oe ur de la dualit\'e",
 type         = "M\'emoire de habilitation",
 school       = "Universit\'e Paris 11",
)
@unknown(Hindley'97,
 author       = "J.R. Hindley",
 year         = "1997",
 title        = "{Basic Simple Type Theory}",
 publisher    = "Cambridge University Press",
)
@unknown(Lengrand'03,
 author       = "S. Lengrand",
 year         = "2003",
 title        = "Call-by-value, call-by-name, and strong normalization for the classical sequent calculus",
 booktitle    = "3rd Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003)",
 series       = "Electronic Notes in Theoretical Computer Science",
 volume       = "86",
 publisher    = "Elsevier",
)
@unknown(Maffeis'05,
 author       = "S. Maffeis",
 year         = "2005",
 title        = "Sequence Types for the {\it pi}-calculus",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "136",
 pages        = "117--132",
)
@unknown(Milner-et.al'97,
 author       = "R. Milner and M. Tofte and R. Harper and D. MacQueen",
 year         = "1990",
 title        = "{The Definition of Standard ML}",
 publisher    = "MIT Press",
 note         = "Revised edition",
)
@unknown(Ong-Stewart'97,
 author       = "C.-H. L. Ong and C.A. Stewart",
 year         = "1997",
 title        = "A {Curry-Howard} foundation for functional computation with control",
 booktitle    = "Proceedings of the 24th Annual {ACM} Symposium on Principles Of Programming Languages",
 pages        = "215--227",
)
@unknown(Parigot'92,
 author       = "M. Parigot",
 year         = "1992",
 title        = "An algorithmic interpretation of classical natural deduction",
 booktitle    = "Proceedings of 3rd International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'92)",
 series       = "Lecture Notes in Computer Science",
 volume       = "624",
 publisher    = "Springer Verlag",
 pages        = "190--201",
)
@unknown(Parigot-Brno'93,
 author       = "M. Parigot",
 year         = "1993",
 title        = "{Classical Proofs as Programs}",
 booktitle    = "Kurt G{\"o}del Colloquium",
 pages        = "263--276",
 note         = "Presented at TYPES Workshop, 1992",
)
@unknown(Parigot'93,
 author       = "M. Parigot",
 year         = "1993",
 title        = "{Strong Normalization for Second Order Classical Natural Deduction}",
 booktitle    = "Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993",
 pages        = "39--46",
)
@unknown(Pierce-PhD'91,
 author       = "B.C. Pierce",
 year         = "1991",
 title        = "{Programming with Intersection Types and Bounded Polymorphism}",
 type         = "Ph.D. thesis",
 school       = "Carnegie Mellon University, School of Computer Science, Pitssburgh",
 note         = "{CMU}-{CS}-91-205",
)
@unknown(Wright'95,
 author       = "A.K. Wright",
 year         = "1995",
 title        = "Simple imperative polymorphism",
 journal      = "Lisp and Symbolic Computation",
 volume       = "8",
 number       = "4",
 pages        = "343--355",
)