@inproceedings(Ariola-Herbelin'03,
 author       = "Z.M. Ariola and H. Herbelin",
 year         = "2003",
 title        = "{Minimal Classical Logic and Control Operators}",
 editor       = "J.C.M. Baeten and J.K. Lenstra and J. Parrow and G.J. Woeginger",
 booktitle    = "Proceedings of Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003",
 series       = "Lecture Notes in Computer Science",
 volume       = "2719",
 publisher    = "Springer Verlag",
 pages        = "871--885",
 doi          = "10.1007/3-540-45061-0_68",
)
@article(Bakel-TCS'92,
 author       = "S. van Bakel",
 year         = "1992",
 title        = "{Complete restrictions of the Intersection Type Discipline}",
 journal      = "Theoretical Computer Science",
 volume       = "102",
 number       = "1",
 pages        = "135--163",
 doi          = "10.1016/0304-3975(92)90297-S",
)
@article(Bakel-NDJFL'04,
 author       = "S. van Bakel",
 year         = "2004",
 title        = "{Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalising}",
 journal      = "Notre Dame journal of Formal Logic",
 volume       = "45",
 number       = "1",
 pages        = "35--63",
 doi          = "10.1305/ndjfl/1094155278",
)
@inproceedings(Bakel-ITRS'10,
 author       = "S. van Bakel",
 year         = "2010",
 title        = "{Sound and Complete Typing for $\lambda \mu $}",
 booktitle    = "Proceedings of 5th International Workshop {\em Intersection Types and Related Systems} (ITRS'10), Edinburgh, Scotland",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "45",
 pages        = "31--44",
 doi          = "10.4204/EPTCS.45.3",
)
@article(Bakel-ACM'11,
 author       = "S. van Bakel",
 year         = "2011",
 title        = "{Strict intersection types for the Lambda Calculus}",
 journal      = "ACM Computing Surveys",
 volume       = "43",
 pages        = "20:1--20:49",
 doi          = "10.1145/1922649.1922657",
)
@inproceedings(Bakel-Barbanera-Liguoro-TLCA'11,
 author       = "S. van Bakel and F. Barbanera and U. de'Liguoro",
 year         = "2011",
 title        = "{A Filter Model for $\lambda \mu $}",
 editor       = "L. Ong",
 booktitle    = "{Proceedings of \emph {10th International Conference on Typed Lambda Calculi and Applications} (TLCA'11)}",
 series       = "Lecture Notes in Computer Science",
 volume       = "6690",
 publisher    = "Springer Verlag",
 pages        = "213--228",
 doi          = "10.1007/978-3-642-21691-6_18",
)
@article(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",
 doi          = "10.1017/S0960129508006762",
)
@article(Barbanera-Berardi'96,
 author       = "F. Barbanera and S. Berardi",
 year         = "1996",
 title        = "{A Symmetric Lambda Calculus for Classical Program Extraction}",
 journal      = "Information and Computation",
 volume       = "125",
 number       = "2",
 pages        = "103--117",
 doi          = "10.1006/inco.1996.0025",
)
@book(Barendregt'84,
 author       = "H. Barendregt",
 year         = "1984",
 title        = "{The Lambda Calculus: its Syntax and Semantics}",
 edition      = "revised",
 publisher    = "North-Holland",
 address      = "Amsterdam",
)
@article(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",
 doi          = "10.2307/2273659",
)
@article(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",
 doi          = "10.2307/2269326",
)
@article(Coppo-Dezani'78,
 author       = "M. Coppo and M. Dezani{-}Ciancaglini",
 year         = "1978",
 title        = "{A New Type Assignment for $\lambda $-Terms}",
 journal      = "Archiv f\"ur Mathematische Logic und Grundlagen Forschung",
 volume       = "19",
 pages        = "139--156",
 doi          = "10.1007/BF02011875",
)
@incollection(Coppo-Dezani-Venneri'80,
 author       = "M. Coppo and M. {Dezani-Ciancaglini} and B. Venneri",
 year         = "1980",
 title        = "{Principal type schemes and $\lambda $-calculus semantics}",
 editor       = "J.R. Hindley and J.P. Seldin",
 booktitle    = "To H.B. Curry, Essays in combinatory logic, lambda-calculus and formalism",
 publisher    = "Academic press, New York",
 pages        = "535--560",
)
@inproceedings(Curien-Herbelin'00,
 author       = "P.-L. Curien and H. Herbelin",
 year         = "2000",
 title        = "{The Duality of Computation}",
 booktitle    = "Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP'00)",
 series       = "ACM Sigplan Notices",
 volume       = "35.9",
 publisher    = "ACM",
 pages        = "233--243",
 doi          = "10.1145/351240.351262",
)
@inproceedings(Gentzen'35,
 author       = "G. Gentzen",
 year         = "1935",
 title        = "{Investigations into logical deduction}",
 booktitle    = "The Collected Papers of Gerhard Gentzen",
 publisher    = "Ed M. E. Szabo, North Holland, 68ff (1969)",
)
@article(Ghilezan'96,
 author       = "S. Ghilezan",
 year         = "1996",
 title        = "{Strong Normalization and Typability with Intersection Types}",
 journal      = "Notre Dame journal of Formal Logic",
 volume       = "37",
 number       = "1",
 pages        = "44--52",
 doi          = "10.1305/ndjfl/1040067315",
)
@inproceedings(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",
 doi          = "10.1007/3-540-58216-9_27",
)
@unpublished(Herbelin-Saurin'10,
 author       = "H. Herbelin and A. Saurin",
 year         = "2010",
 title        = "{$\lambda \mu $-calculus and $\lambda \mu $-calculus: a Capital Difference}",
 note         = "Manuscript",
)
@book(Krivine-book'93,
 author       = "J.-L Krivine",
 year         = "1993",
 title        = "{Lambda calculus, types and models}",
 publisher    = "Ellis Horwood",
)
@inproceedings(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",
 doi          = "10.1007/BFb0013061",
)
@article(Parigot'97,
 author       = "M. Parigot",
 year         = "1997",
 title        = "{Proofs of Strong Normalisation for Second Order Classical Natural Deduction}",
 journal      = "Journal of Symbolic Logic",
 volume       = "62",
 number       = "4",
 pages        = "1461--1479",
 doi          = "10.2307/2275652",
)
@incollection(Pottinger'80,
 author       = "G. Pottinger",
 year         = "1980",
 title        = "{A Type Assignment for the Strongly Normalizable $\lambda $-terms}",
 editor       = "J.P. Seldin and J.R. Hindley",
 booktitle    = "To H. B. Curry, Essays in Combinatory Logic, Lambda-Calculus and Formalism",
 publisher    = "Academic press, New York",
 pages        = "561--577",
)
@inproceedings(Saurin'08,
 author       = "A. Saurin",
 year         = "2008",
 title        = "{On the Relations between the Syntactic Theories of $\lambda \mu $-Calculi}",
 editor       = "M. Kaminski and S. Martini",
 booktitle    = "Computer Science Logic, 22nd International Workshop (CSL'08), Bertinoro, Italy",
 series       = "Lecture Notes in Computer Science",
 volume       = "5213",
 publisher    = "Springer Verlag",
 pages        = "154--168",
 doi          = "10.1016/j.entcs.2005.11.072",
)
@inproceedings(Saurin'10,
 author       = "A. Saurin",
 year         = "2010",
 title        = "{Standardization and B{\"o}hm Trees for $\lambda \mu $-calculus}",
 editor       = "M. Blume and N. Kobayashi and G. Vidal",
 booktitle    = "Functional and Logic Programming, 10th International Symposium, (FLOPS'10), Sendai, Japan",
 series       = "Lecture Notes in Computer Science",
 volume       = "6009",
 publisher    = "Springer Verlag",
 pages        = "134--149",
 doi          = "10.1007/978-3-642-12251-4_11",
)
@article(Streicher-Reus'98,
 author       = "Th. Streicher and B. Reus",
 year         = "1998",
 title        = "{Classical logic: Continuation Semantics and Abstract Machines}",
 journal      = "Journal of Functional Programming",
 volume       = "11",
 number       = "6",
 pages        = "543--572",
 doi          = "10.1017/S0956796898003141",
)
@article(Tait'67,
 author       = "W. Tait",
 year         = "1967",
 title        = "{Intensional Interpretations of Functionals of Finite Type I}",
 journal      = "Journal of Symbolic Logic",
 volume       = "32",
 number       = "2",
 pages        = "198--212",
 doi          = "10.2307/2271658",
)