T. Altenkirch (2001):
Representation of First Order Function Types as Terminal Coalgebras.
In: Typed Lambda Calculi and Applications,
LNCS 2044.
Springer-Verlag,
pp. 8–21,
doi:10.1007/3-540-45413-6_5.
G. Barthe & T. Uustalu (2002):
CPS Translating Inductive and Coinductive Types.
In: Partial Evaluation and Program Manipulation.
ACM Press,
pp. 131–142,
doi:10.1145/503032.503043.
A. Filinski (1989):
Declarative Continuations and Categorical Duality.
Computer Science Department, University of Copenhagen.
M. Hasegawa (2006):
Relational Parametricity and Control.
Logical Methods in Computer Science 2(3),
pp. 1–22,
doi:10.2168/LMCS-2(3:3)2006.
M. Hofmann & T. Streicher (1997):
Continuation Models are Universal for λμ-Calculus.
In: Logic in Computer Science.
IEEE Computer Society,
pp. 387–397,
doi:10.1109/LICS.1997.614964.
Y. Kakutani (2002):
Duality between Call-by-Name Recursion and Call-by-Value Iteration.
In: Computer Science Logic,
LNCS 2471.
Springer-Verlag,
pp. 506–521,
doi:10.1007/3-540-45793-3_34.
D. Kimura (2007):
Call-by-Value is Dual to Call-by-Name, Extended.
In: Asian Symposium on Programming Languages and Systems,
LNCS 4807.
Springer-Verlag,
pp. 415–430,
doi:10.1007/978-3-540-76637-7_28.
D. Kimura & M. Tatsuta (2013):
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types.
Logical Methods in Computer Science 9(1:14),
pp. 1–38,
doi:10.2168/LMCS-9(1:14)2013.
J. Lambek & P. J. Scott (1986):
Introduction to Higher-Order Categorical Logic.
Cambridge University Press.
M. Parigot (1992):
λμ-Calculus: an algorithmic interpretation of classical natural deduction.
In: Logic Programming and Automated Reasoning,
LNCS 624.
Springer-Verlag,
pp. 190–201,
doi:10.1007/BFb0013061.
G. D. Plotkin (1975):
Call-by-Name, Call-by-Value and the Lambda Calculus.
Theoretical Computer Science 1(2),
pp. 125–159,
doi:10.1016/0304-3975(75)90017-1.
P. Selinger (2001):
Control Categories and Duality: on the categorical semantics of the lambda-mu calculus.
Mathematical Structures in Computer Science 11(2),
pp. 207–260,
doi:10.1017/S096012950000311X.
P. Selinger (2003):
Some Remarks on Control Categories.
Manuscript.
eptcs@eptcs.org