@inproceedings(Herbelin03,
 author       = "{Z.M}. Ariola and H. Herbelin",
 year         = "2003",
 title        = "Minimal classical logic and control operators",
 booktitle    = "ICALP",
 pages        = "871--885",
 doi          = "10.1007/3-540-45061-0\_68",
)
@inproceedings(BucciarelliEM07,
 author       = "A. Bucciarelli and T. Ehrhard and G. Manzonetto",
 year         = "2007",
 title        = "Not Enough Points Is Enough",
 booktitle    = "CSL",
 series       = "LNCS",
 volume       = "4646",
 pages        = "298--312",
 doi          = "10.1007/978-3-540-74915-8\_24",
)
@inproceedings(Herbelin00,
 author       = "P.-L Curien and H. Herbelin",
 year         = "2000",
 title        = "The duality of computation",
 booktitle    = "ACM SIGPLAN International Conference on Functional Programming",
 pages        = "233--243",
 doi          = "10.1145/351240.351262",
)
@article(Cze77,
 author       = "J. Czermak",
 year         = "1977",
 title        = "A Remark on {Gentzen}'s Calculus of Sequents",
 journal      = "Notre Dame Journal of Formal Logic",
 volume       = "18",
 number       = "3",
 pages        = "471--474",
 doi          = "10.1305/ndjfl/1093888021",
)
@incollection(DanosJS95,
 author       = "V. Danos and {J.-B.} Joinet and H. Schellinx",
 year         = "1995",
 title        = "{LKQ} and {LKT}: Sequent calculi for second order logic based upon dual linear decompositions of classical implication",
 editor       = "{J.-Y.} Girard and Y. Lafont and L. Regnier",
 booktitle    = "Advances in linear logic",
 series       = "London Math. Society Lecture Note Series",
 volume       = "222",
)
@article(David01,
 author       = "R. David and W. Py",
 year         = "2001",
 title        = "$\lambda \mu $-Calculus and {B\"{o}hm's} Theorem",
 journal      = "J. Symb. Log.",
 volume       = "66",
 number       = "1",
 pages        = "407--413",
 doi          = "10.2307/2694930",
)
@inproceedings(Groote99,
 author       = "P. {De Groote}",
 year         = "1994",
 title        = "On the relation between the $\lambda \mu $-calculus and the syntactic theory of sequential control",
 booktitle    = "LPAR",
 pages        = "31--43",
 doi          = "10.1007/3-540-58216-9\_27",
)
@inproceedings(Groote95,
 author       = "P. {De Groote}",
 year         = "1995",
 title        = "A Simple Calculus of Exception Handling",
 booktitle    = "TLCA",
 pages        = "201--215",
)
@article(Groote98,
 author       = "P. {De Groote}",
 year         = "1998",
 title        = "An environment machine for the $\lambda \mu $-calculus",
 journal      = "Math. Struct. Comp. Sci.",
 volume       = "8",
 number       = "6",
 pages        = "637--669",
 doi          = "10.1017/S0960129598002667",
)
@article(Felleisen92,
 author       = "M. Felleisen and R. Hieb",
 year         = "1992",
 title        = "The Revised Report on the Syntactic Theories of Sequential Control and State",
 journal      = "Theor. Comput. Sci.",
 volume       = "103",
 pages        = "235--271",
 doi          = "10.1016/0304-3975(92)90014-7",
)
@misc(Gentzen35,
 author       = "G. Gentzen",
 year         = "1935",
 title        = "Investigations into logical deduction",
)
@article(Gir86,
 author       = "{J.-Y.} Girard",
 year         = "1986",
 title        = "The system F of variable types, fifteen years later",
 journal      = "Theor. Comput. Sci.",
 volume       = "45",
 pages        = "159--192",
 doi          = "10.1016/0304-3975(86)90044-7",
)
@article(Gir91,
 author       = "{J.-Y.} Girard",
 year         = "1991",
 title        = "A new constructive logic: {Classical} {Logic}",
 journal      = "Math. Struct. in Comp. Sci.",
 volume       = "1",
 number       = "3",
 pages        = "255--296",
 doi          = "10.1017/S0960129500001328",
)
@inproceedings(Griffin90,
 author       = "T. Griffin",
 year         = "1990",
 title        = "A Formulae-as-Types Notion of Control",
 booktitle    = "POPL",
 pages        = "47--58",
 doi          = "10.1145/96709.96714",
)
@inproceedings(Stre97,
 author       = "M. Hofmann and T. Streicher",
 year         = "1997",
 title        = "Continuation Models are Universal for lambda-mu-Calculus",
 booktitle    = "LICS",
 pages        = "387--395",
 doi          = "10.1109/LICS.1997.614964",
)
@inproceedings(Howard80,
 author       = "{W.A.} Howard",
 year         = "1980",
 title        = "The formulae-as-types notion of construction",
 editor       = "J.R. Hindley and J.P. Seldin",
 booktitle    = "To {H.B.} Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism",
 pages        = "479--490",
)
@article(Klop89,
 author       = "{J.W.} Klop and {R.C.} de Vrijer",
 year         = "1989",
 title        = "Unique normal forms for lambda calculus with surjective pairing",
 journal      = "Information and Computation",
 volume       = "2",
 pages        = "97--113",
 doi          = "10.1016/0890-5401(89)90014-X",
)
@article(Krivine01,
 author       = "{J.-L.} Krivine",
 year         = "2001",
 title        = "Typed lambda-calculus in classical {Zermelo-Fr{\ae }nkel} set theory",
 journal      = "Arch. Math. Log.",
 volume       = "40",
 number       = "3",
 pages        = "189--205",
 doi          = "10.1007/s001530000057",
)
@techreport(Stre93,
 author       = "Y. Lafont and B. Reus and T. Streicher",
 year         = "1993",
 title        = "Continuations Semantics or Expressing Implication by Negation",
 type         = "Technical Report",
 number       = "9321",
 institution  = "Ludwig-Maximilians-Universitat, Munchen",
 note         = "Technical Report",
)
@unpublished(Laurent03note,
 author       = "O. Laurent",
 year         = "2003",
 title        = "Krivine's abstract machine and the lambda mu-calculus (an overview)",
 note         = "Unpublished",
)
@article(Laurent03b,
 author       = "O. Laurent",
 year         = "2003",
 title        = "Polarized proof-nets and lambda-mu calculus",
 journal      = "Theor. Comput. Sci.",
 volume       = "290",
 number       = "1",
 pages        = "161--188",
 doi          = "10.1016/S0304-3975(01)00297-3",
)
@article(Laurent11,
 author       = "O. Laurent",
 year         = "2011",
 title        = "Intuitionistic Dual-intuitionistic Nets",
 journal      = "J. Log. Comput.",
 volume       = "21",
 number       = "4",
 pages        = "561--587",
 doi          = "10.1093/logcom/exp044",
)
@inproceedings(Laurent03,
 author       = "O. Laurent and L. Regnier",
 year         = "2003",
 title        = "About Translations of {Classical} {Logic} into {Polarized} {Linear} {Logic}",
 booktitle    = "LICS",
 pages        = "11--20",
 doi          = "10.1109/LICS.2003.1210040",
)
@inproceedings(Lengrand03,
 author       = "S. Lengrand",
 year         = "2003",
 title        = "Call-by-value, call-by-name, and strong normalization for the classical sequent calculus",
 series       = "Elec. Notes in Theor. Comp. Sci.",
 volume       = "86",
 doi          = "10.1016/S1571-0661(05)82619-2",
 note         = "WRS",
)
@inproceedings(LowS06,
 author       = "T. L{o}w and T. Streicher",
 year         = "2006",
 title        = "Universality Results for Models in Locally Boolean Domains",
 booktitle    = "CSL",
 pages        = "456--470",
 doi          = "10.1007/11874683\_30",
)
@misc(Mellies09,
 author       = "P.-A. Melli\`{e}s",
 title        = "Categorical semantics of linear logic",
 url          = "http://www.pps.jussieu.fr/~mellies/papers/panorama.pdf",
 note         = "Panoramas et Synth\`{e}ses 27, Soci\'{e}t\'{e} Math\'{e}matique de France, 2009",
)
@inproceedings(Parigot92,
 author       = "M. Parigot",
 year         = "1992",
 title        = "$\lambda \mu $-calculus: An Algorithmic Interpretation of {Classical} {Natural} {Deduction}",
 booktitle    = "LPAR",
 pages        = "190--201",
 doi          = "10.1007/BFb0013061",
)
@book(Prawitz65,
 author       = "D. Prawitz",
 year         = "1965",
 title        = "Natural Deduction - a proof theoretical study",
 publisher    = "Almqvist \& Wiksell",
 address      = "Stokholm",
)
@article(Stre98,
 author       = "B. Reus and T. Streicher",
 year         = "1998",
 title        = "Classical Logic, Continuation Semantics and Abstract Machines",
 journal      = "J. Funct. Program.",
 volume       = "8",
 number       = "6",
 pages        = "543--572",
 doi          = "10.1017/S0956796898003141",
)
@article(Selinger01,
 author       = "P. Selinger",
 year         = "2001",
 title        = "Control categories and duality: on the categorical semantics of the lambda-mu calculus",
 journal      = "Math. Struct. in Comp. Sci.",
 volume       = "11",
 pages        = "207--260",
 doi          = "10.1017/S096012950000311X",
)
@book(Smullyan68,
 author       = "R. Smullyan",
 year         = "1968",
 title        = "First-order logic",
 publisher    = "Springer-Verlag",
 address      = "New York",
 doi          = "10.1007/978-3-642-86718-7",
)
@phdthesis(UrbanThese,
 author       = "C. Urban",
 year         = "2000",
 title        = "Classical Logic and Computation",
 school       = "University of Cambridge Comp. Laboratory",
)