Cofree coalgebras and multivariable recursiveness.
scientific article; zbMATH DE number 2005422
scientific article