J. Cockett and R. Seely, Weakly distributive categories, Applications of Categories in Computer Science, Proceedings of the LMS Symposium, 1991.

T. Ehrhard, Finiteness spaces, Mathematical Structures in Computer Science, vol.15, issue.4, pp.615-646, 2005.
DOI : 10.1017/S0960129504004645
URL : https://hal.archives-ouvertes.fr/hal-00150276

P. Freyd and G. Kelly, Categories of continuous functors, I, Journal of Pure and Applied Algebra, vol.2, issue.3, pp.169-191, 1972.
DOI : 10.1016/0022-4049(72)90001-1

J. Girard, A new constructive logic: classic logic, Mathematical Structures in Computer Science, vol.7, issue.2, pp.255-296, 1991.
DOI : 10.1016/0304-3975(87)90045-4

M. Hofmann and T. Streicher, Continuation models are universal for ?-µ-calculus, 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97, 1997.

S. Lack and R. Street, The formal theory of monads II, Journal of Pure and Applied Algebra, vol.175, issue.1-3, pp.243-265, 2002.
DOI : 10.1016/S0022-4049(02)00137-8

Y. Lafont, B. Reus, and T. Streicher, Continuation semantics or expressing implication by negation

O. Laurent, Etude de la polarisation en logique, 2002.
URL : https://hal.archives-ouvertes.fr/tel-00007884

T. Leinster, Higher Operads, Higher Categories, 2003.
DOI : 10.1017/CBO9780511525896

P. Mellì-es and N. Tabareau, Resource modalities in game semantics, Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science, pp.389-398, 2007.

C. Ong, A semantic view of classical proofs: type-theoretic, categorical, and denotational characterizations, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 1996.
DOI : 10.1109/LICS.1996.561323

J. Power and E. Robinson, Premonoidal categories and notions of computation, Mathematical Structures in Computer Science, vol.7, issue.5, pp.453-468, 1997.
DOI : 10.1017/S0960129597002375

D. Pym and E. Ritter, On the semantics of classical disjunction, Journal of Pure and Applied Algebra, vol.159, issue.2-3, pp.315-338, 2001.
DOI : 10.1016/S0022-4049(00)00161-4

P. Selinger, Control categories and duality: on the categorical semantics of the lambda-mu calculus, Mathematical Structures in Computer Science, vol.11, issue.2, pp.207-260, 2001.
DOI : 10.1017/S096012950000311X

P. Selinger, Some Remarks on Control Categories

R. Street, The formal theory of monads, Journal of Pure and Applied Algebra, vol.2, issue.2, pp.149-168, 1972.
DOI : 10.1016/0022-4049(72)90019-9

H. Thielecke, Categorical structure of continuation passing style, 1997.