The Primitive Recursive Functions are Recursively Enumerable

by Stefan Kahrs