@incollection(Altenkirch01:RFOFTTC,
 author       = "T. Altenkirch",
 year         = "2001",
 title        = "Representation of First Order Function Types as Terminal Coalgebras",
 booktitle    = "Typed Lambda Calculi and Applications",
 series       = "LNCS",
 volume       = "2044",
 publisher    = "Springer-Verlag",
 pages        = "8--21",
 doi          = "10.1007/3-540-45413-6\_5",
)
@incollection(BartheUustalu02:CPSTICT,
 author       = "G. Barthe and T. Uustalu",
 year         = "2002",
 title        = "{CPS} Translating Inductive and Coinductive Types",
 booktitle    = "Partial Evaluation and Program Manipulation",
 publisher    = "ACM Press",
 pages        = "131--142",
 doi          = "10.1145/503032.503043",
)
@mastersthesis(Filinski89:DCCD,
 author       = "A. Filinski",
 year         = "1989",
 title        = "Declarative Continuations and Categorical Duality",
 school       = "Computer Science Department, University of Copenhagen",
)
@article(Hasegawa06:RPC,
 author       = "M. Hasegawa",
 year         = "2006",
 title        = "Relational Parametricity and Control",
 journal      = "Logical Methods in Computer Science",
 volume       = "2",
 number       = "3",
 pages        = "1--22",
 doi          = "10.2168/LMCS-2(3:3)2006",
)
@incollection(HofmannStreicher97:CMULMC,
 author       = "M. Hofmann and T. Streicher",
 year         = "1997",
 title        = "Continuation Models are Universal for $\lambda \mu $-Calculus",
 booktitle    = "Logic in Computer Science",
 publisher    = "IEEE Computer Society",
 pages        = "387--397",
 doi          = "10.1109/LICS.1997.614964",
)
@incollection(Kakutani02:DCNRCVI,
 author       = "Y. Kakutani",
 year         = "2002",
 title        = "Duality between Call-by-Name Recursion and Call-by-Value Iteration",
 booktitle    = "Computer Science Logic",
 series       = "LNCS",
 volume       = "2471",
 publisher    = "Springer-Verlag",
 pages        = "506--521",
 doi          = "10.1007/3-540-45793-3\_34",
)
@incollection(Kimura07:CVDCNE,
 author       = "D. Kimura",
 year         = "2007",
 title        = "Call-by-Value is Dual to Call-by-Name, Extended",
 booktitle    = "Asian Symposium on Programming Languages and Systems",
 series       = "LNCS",
 volume       = "4807",
 publisher    = "Springer-Verlag",
 pages        = "415--430",
 doi          = "10.1007/978-3-540-76637-7\_28",
)
@article(KimuraTatsuta13:CVCNDCICT,
 author       = "D. Kimura and M. Tatsuta",
 year         = "2013",
 title        = "Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types",
 journal      = "Logical Methods in Computer Science",
 volume       = "9",
 number       = "1:14",
 pages        = "1--38",
 doi          = "10.2168/LMCS-9(1:14)2013",
)
@book(LambekScott86:IHOCL,
 author       = "J. Lambek and P. J. Scott",
 year         = "1986",
 title        = "Introduction to Higher-Order Categorical Logic",
 publisher    = "Cambridge University Press",
)
@incollection(Parigot92:LMC,
 author       = "M. Parigot",
 year         = "1992",
 title        = "$\lambda \mu $-Calculus: an algorithmic interpretation of classical natural deduction",
 booktitle    = "Logic Programming and Automated Reasoning",
 series       = "LNCS",
 volume       = "624",
 publisher    = "Springer-Verlag",
 pages        = "190--201",
 doi          = "10.1007/BFb0013061",
)
@article(Plotkin75:CNCVLC,
 author       = "G. D. Plotkin",
 year         = "1975",
 title        = "Call-by-Name, Call-by-Value and the Lambda Calculus",
 journal      = "Theoretical Computer Science",
 volume       = "1",
 number       = "2",
 pages        = "125--159",
 doi          = "10.1016/0304-3975(75)90017-1",
)
@article(Selinger01:CCD,
 author       = "P. Selinger",
 year         = "2001",
 title        = "Control Categories and Duality: on the categorical semantics of the lambda-mu calculus",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "11",
 number       = "2",
 pages        = "207--260",
 doi          = "10.1017/S096012950000311X",
)
@unpublished(Selinger03:SRCC,
 author       = "P. Selinger",
 year         = "2003",
 title        = "Some Remarks on Control Categories",
 note         = "Manuscript",
)