4 ms·

https://people.irisa.fr/Francois.Schwarzentruber/recursive_functions_to_turing_machines/ https://people.irisa.fr/Francois.Schwarzentruber/recursive_f...