Recursion-closed algebraic theories

Jean H. Gallier
1981 Journal of computer and system sciences (Print)  
A class of algebraic theories called "recursion-closed," which generalize the rational theories studied by J. investigated. This work is motivated by the problem of providing the semantics of arbitrary polyadic recursion schemes in the framework of algebraic theories. It is suggested by Goguen et al. ("Proceedings, 17th IEEE Symposium") that the semantics of arbitrary polyadic recursion schemes can be handled using algebraic theories. The results show that this is indeed the case, but that
more » ... onal theories" are insufficient and that it is necessary to introduce a new class of "recursion-closed" algebraic theories. This new class of algebraic theories, is defined and studied, and "free recursion-closed algebraic theories" are proved to exist.
doi:10.1016/0022-0000(81)90006-4 fatcat:kinwn45jnvhpbeebmwawmmckq4