D. Dantas and D. Walker, Harmless advice, 8th symposium on Principle of Programming Languages, p.396, 2006.
DOI : 10.1145/1111037.1111071

R. Garner and B. Van-den-ber, Types are weak omega-groupoids. Accepted for publication in the Proceedings of the

J. Girard, Y. Lafont, and P. Taylor, Proofs and types, volume 7 of Cambridge tracts in theoretical computer science, 1989.

B. Hilken, Towards a proof theory of rewriting: the simply typed 2??-calculus, Theoretical Computer Science, vol.170, issue.1-2, pp.407-444, 1996.
DOI : 10.1016/S0304-3975(96)80713-4

M. Hyland, G. Plotkin, and J. Power, Combining effects: Sum and tensor, Theoretical Computer Science, vol.357, issue.1-3, pp.70-99, 2006.
DOI : 10.1016/j.tcs.2006.03.013
URL : http://doi.org/10.1016/j.tcs.2006.03.013

R. Jagadeesan, A. Jeffrey, and J. Riely, A calculus of untyped aspectoriented programs, Proceedings of European Conference on Object Oriented Programming, pp.54-73, 2003.

M. Kelly, Basic Concepts of Enriched Category Theory, Lecture Notes in Mathematics, vol.64, 1982.

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes et al., Aspect-Oriented Programming, Proceedings of European Conference on Object Oriented Programming, 1997.

S. Kovalyov, Modeling Aspects by Category Theory, FOAL 2010 Proceedings, p.63, 2010.

J. Lambek, Cartesian closed categories and typed lambda-calculi, 13th Spring School on Combinators and Functional Programming Languages, p.175, 1985.

J. Lambek and P. Scott, Introduction to higher order categorical logic, 1988.

R. Lopez-herrejon, D. Batory, and C. Lengauer, A disciplined approach to aspect composition symposium on Partial evaluation and semantics-based program manipulation, Proceedings of the 2006 ACM SIGPLAN, p.77, 2006.

P. Lumsdaine, Weak ?-categories from intensional type theory. Typed Lambda Calculi and Applications, pp.172-187, 2009.
DOI : 10.1007/978-3-642-02273-9_14

E. Moggi, Notions of computation and monads. Information and Computation, pp.55-92, 1991.

F. Müller, Confluence of the lambda calculus with left-linear algebraic rewriting, Information Processing Letters, vol.41, issue.6, pp.293-299, 1992.
DOI : 10.1016/0020-0190(92)90155-O

J. Power, Enriched Lawvere theories. Theory and Application of Categories, pp.83-93, 1999.

P. Scott, Some aspects of categories in computer science. Handbook of algebra, pp.3-77, 2000.

R. Seely, Modelling computations: a 2-categorical framework, 2nd Logic in Computer Science, pp.65-71, 1987.

É. Tanter, Execution levels for aspect-oriented programming, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.37-48, 2010.
DOI : 10.1145/1739230.1739236
URL : https://hal.archives-ouvertes.fr/hal-00872786

D. Walker, S. Zdancewic, and J. Ligatti, A theory of aspects, 8th International Conference Fonctional Programming, pp.127-139, 2003.

M. Wand, G. Kiczales, and C. Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems, vol.26, issue.5, pp.890-910, 2004.
DOI : 10.1145/1018203.1018208