A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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 thatdoi:10.1016/0022-0000(81)90006-4 fatcat:kinwn45jnvhpbeebmwawmmckq4