Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)
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.
Chidanand Apté, Fred Damerau, et al.
ACM Transactions on Information Systems (TOIS)
Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008
Qing Li, Zhigang Deng, et al.
IEEE T-MI
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996