@inproceedings(CurienHerbelinICFP2000,
 author       = "P.-L. Curien and H. Herbelin",
 year         = "2000",
 title        = "The duality of computation",
 editor       = "M. Odersky and P. Wadler",
 booktitle    = "ICFP '00",
 series       = "SIGPLAN Notices",
 volume       = "35",
 publisher    = "ACM",
 pages        = "233--243",
 url          = "http://doi.acm.org/10.1145/351240.351262",
)
@inproceedings(Curien-Munch-Maccagnoni-ifipTCS10,
 author       = "P.-L. Curien and G. {Munch-Maccagnoni}",
 year         = "2010",
 title        = "The Duality of Computation under Focus",
 editor       = "C.S. Calude and V. Sassone",
 booktitle    = "TCS 2010",
 series       = "IFIP Advances in Information and Communication Technology",
 volume       = "323",
 publisher    = "Springer",
 pages        = "165--181",
 url          = "http://dx.doi.org/10.1007/978-3-642-15240-5_13",
)
@article(DanosJoinetSchellinxJSL97,
 author       = "V. Danos and J.-B. Joinet and H. Schellinx",
 year         = "1997",
 title        = "A New Deconstructive Logic: Linear Logic",
 journal      = "J. Symb. Log.",
 volume       = "62",
 number       = "3",
 pages        = "755--807",
 url          = "http://dx.doi.org/10.2307/2275572",
)
@inproceedings(Dehornoy-vanOostrom2008,
 author       = "P. {Dehornoy} and V. {van Oostrom}",
 year         = "2008",
 title        = "Z, Proving Confluence by Monotonic Single-Step Upperbound Functions",
 booktitle    = "Logical Models of Reasoning and Computation {(LMRC-08)}",
)
@article(ourMSCS,
 author       = "J. {Esp{\'\i {}}rito Santo} and R. Matthes and K. Nakazawa and L. Pinto",
 year         = "2013",
 title        = "Monadic translation of classical sequent calculi",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "23",
 number       = "6",
 pages        = "1111--1162",
 url          = "http://dx.doi.org/10.1017/S0960129512000436",
)
@article(FilinskiTCS2007,
 author       = "A. Filinski",
 year         = "2007",
 title        = "On the relations between monadic semantics",
 journal      = "Theor. Comput. Science",
 volume       = "375",
 pages        = "41--75",
 url          = "http://dx.doi.org/10.1016/j.tcs.2006.12.027",
)
@article(GirardMSCS91,
 author       = "J-Y. Girard",
 year         = "1991",
 title        = "A new constructive logic: classic logic",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "1",
 number       = "3",
 pages        = "255--296",
 url          = "http://dx.doi.org/10.1017/S0960129500001328",
)
@book(GirardLafontTaylor89,
 author       = "J-Y. Girard and Y. Lafont and P. Taylor",
 year         = "1989",
 title        = "Proofs and Types",
 publisher    = "Cambridge University Press",
)
@inproceedings(HatcliffDanvy94,
 author       = "J. Hatcliff and O. Danvy",
 year         = "1994",
 title        = "A generic account of continuation-passing styles",
 editor       = "H.-J. Boehm and B. Lang and D.M. Yellin",
 booktitle    = "POPL'94",
 publisher    = "ACM",
 pages        = "458--471",
 url          = "http://doi.acm.org/10.1145/174675.178053",
)
@misc(HerbelinHabilitationThesis,
 author       = "H. Herbelin",
 year         = "2005",
 title        = "C'est maintenant qu'on calcule",
 note         = "Habilitation Thesis",
)
@article(LevyHOSC2006,
 author       = "P. Levy",
 year         = "2006",
 title        = "Call-by-push-value: decomposing call-by-value and call-by-name",
 journal      = "Higher Order and Symbolic Computation",
 volume       = "19",
 number       = "4",
 pages        = "377--414",
 url          = "http://dx.doi.org/10.1007/s10990-006-0480-6",
)
@article(Moggi91,
 author       = "E. Moggi",
 year         = "1991",
 title        = "Notions of Computation and Monads",
 journal      = "Inf. Comput.",
 volume       = "93",
 number       = "1",
 pages        = "55--92",
 url          = "http://dx.doi.org/10.1016/0890-5401(91)90052-4",
)
@inproceedings(Munch-MaccagnoniCSL09,
 author       = "G. Munch-Maccagnoni",
 year         = "2009",
 title        = "Focalisation and Classical Realisability",
 editor       = "E. Gr{\"a}del and R. Kahle",
 booktitle    = "CSL 2009",
 series       = "LNCS",
 volume       = "5771",
 publisher    = "Springer",
 pages        = "409--423",
 url          = "http://dx.doi.org/10.1007/978-3-642-04027-6_30",
)
@inproceedings(PolonovskiFOSSACS2004,
 author       = "E. Polonovski",
 year         = "2004",
 title        = "Strong normalization of $\overline {\lambda }\mu \mathaccentV {tilde}07E{\mu }$ with explicit substitutions",
 editor       = "I. Walukiewicz",
 booktitle    = "FoSSaCS 2004",
 series       = "LNCS",
 volume       = "2987",
 publisher    = "Springer",
 pages        = "423--437",
 url          = "http://dx.doi.org/10.1007/978-3-540-24727-2_30",
)
@inproceedings(vanOostrom-vanRaamsdonk94,
 author       = "V. {van Oostrom} and F. {van Raamsdonk}",
 year         = "1994",
 title        = "Weak orthogonality implies confluence: the higher-order case",
 editor       = "A. Nerode and Y. Matiyasevich",
 booktitle    = "LFCS '94",
 series       = "LNCS",
 volume       = "813",
 publisher    = "Springer",
 pages        = "379--392",
 url          = "http://dx.doi.org/10.1007/3-540-58140-5_35",
)
@article(ZeilbergerAPAL08,
 author       = "N. Zeilberger",
 year         = "2008",
 title        = "On the unity of duality",
 journal      = "Ann. Pure App. Logic",
 volume       = "153",
 number       = "1-3",
 pages        = "66--96",
 url          = "http://dx.doi.org/10.1016/j.apal.2008.01.001",
)