Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible
Annales scientifiques de l'Université de Clermont. Mathématiques, Volume 60 (1976) no. 13, p. 77-80
@article{ASCFM_1976__60_13_77_0,
     author = {Dujols, Ren\'e},
     title = {Le r\'esultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {60},
     number = {13},
     year = {1976},
     pages = {77-80},
     zbl = {0359.02040},
     mrnumber = {462931},
     language = {fr},
     url = {http://www.numdam.org/item/ASCFM_1976__60_13_77_0}
}
Dujols, René. Le résultat de Karp-Myhill dans (1) est, en un sens, le meilleur possible. Annales scientifiques de l'Université de Clermont. Mathématiques, Volume 60 (1976) no. 13, pp. 77-80. http://www.numdam.org/item/ASCFM_1976__60_13_77_0/

(1) J.C.E. Dekker et J. Myhill, Recursive Equivalence Types, University of California publications in mathematics, n.s., 3, 1960, p. 67-213. | MR 117155 | Zbl 0249.02021

(2) H. Rogers Jr., Theory of Recursive functions and Effective Computability, Mc Graw-Hill Book Company, 1967. | MR 224462 | Zbl 0183.01401