Conference paper
Performance measurement and data base design
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975
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.
Alfonso P. Cardenas, Larry F. Bowman, et al.
ACM Annual Conference 1975
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics
Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006