Publication
Theoretical Computer Science
Paper

Algebras, polynomials and programs

View publication

Abstract

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.

Date

Publication

Theoretical Computer Science

Authors

Topics

Share