This is an unofficial reimagining of the Archive of Formal Proofs
Some classical results in inductive inference of recursive functionsby Frank J. Balbach