Return to Article Details On the Recursive Enumerability of Fixed-Point Combinators Download Download PDF