B. Wagle
EJOR
This paper presents an introduction to some of the more algebraic applications of elementary category theory in computer science. Topics include: a category based look at universal algebra; the definition of polynomials over arbitrary algebras and their application to the study of substitution; a development of Lawvere algebraic theories based on polynomials, and the application of such theories to algebra and to the study of iteration and recursion in programming languages. © 1990.
B. Wagle
EJOR
Eric Price, David P. Woodruff
FOCS 2011
Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)
Qing Li, Zhigang Deng, et al.
IEEE T-MI