Referenced by:

• ackermann-function
• com-computably-enumerable
• com-recursive
• com-reducibility
• com-turing-machine
• compute-universal-primrec-func