D. Batory, M. Azanza, and J. Saraiva, The Objects and Arrows of Computational Design, Model Driven Engineering Languages and Systems, pp.1-20, 2008.
DOI : 10.1007/978-3-540-87875-9_1

R. Blackwell, G. Kelly, and A. Power, Two-dimensional monad theory, Journal of Pure and Applied Algebra, vol.59, issue.1, pp.1-41, 1989.
DOI : 10.1016/0022-4049(89)90160-6
URL : http://doi.org/10.1016/0022-4049(89)90160-6

S. Bruggink, Equivalence of Reductions in Higher-Order Rewriting, 2008.

D. Dantas and D. Walker, Harmless advice, Proceedings of POPL, p.396, 2006.
DOI : 10.1145/1111037.1111071

B. De-fraine, E. Ernst, and M. Südholt, Essential AOP, Proceedings of ECOOP, pp.101-125, 2010.
DOI : 10.1145/2362389.2362391
URL : https://hal.archives-ouvertes.fr/hal-00467405

I. Figueroa and É. Tanter, A semantics for execution levels with exceptions, Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL '11, 2011.
DOI : 10.1145/1960510.1960513

I. Figueroa, E. Tanter, and N. Tabareau, A practical monadic aspect weaver, Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL '12, 2012.
DOI : 10.1145/2162010.2162018
URL : https://hal.archives-ouvertes.fr/hal-00690717

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

T. Hirschowitz, Cartesian closed 2-categories and permutation equivalence in higher-order rewriting, Logical Methods in Computer Science, vol.9, issue.3
DOI : 10.2168/LMCS-9(3:10)2013
URL : https://hal.archives-ouvertes.fr/hal-00540205

R. Jagadeesan, A. Jeffrey, and J. Riely, A Calculus of Untyped Aspect-Oriented Programs, Proceedings of ECOOP, 2003.
DOI : 10.1007/978-3-540-45070-2_4

G. Kelly and R. Street, Review of the elements of 2-categories, Category Seminar, pp.75-103, 1974.
DOI : 10.1016/0022-4049(72)90019-9

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 ECOOP, 1997.

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

J. Lambek, Cartesian closed categories and typed lambdacalculi, 13th Spring School on Combinators and Functional Programming Languages, 1985.
DOI : 10.1007/3-540-17184-3_44

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, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , PEPM '06, p.77, 2006.
DOI : 10.1145/1111542.1111554

W. D. Meuter, Monads as a theoretical foundation for aop, AOP position paper at ECOOP, 1997.

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

B. C. Oliveira, T. Schrijvers, and W. R. Cook, EffectiveAdvice, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, 2010.
DOI : 10.1145/1739230.1739244

R. Seely, Modelling computations: a 2-categorical framework, Proceedings of LICS, pp.65-71, 1987.

N. Tabareau, Aspect oriented programming, Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL '11, 2011.
DOI : 10.1145/1960510.1960514
URL : https://hal.archives-ouvertes.fr/inria-00583429

É. Tanter, Execution levels for aspect-oriented programming, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, 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, Proceedings of ICFP, 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