Referenced by:

• com-computably-enumerable
• com-encoding
• com-index
• com-pa-undecidable
• com-padding-lemma
• compute-universal-primrec-func
• ucb-metamathematics-b-01
• lexi-embedding