fonction 91 de McCarthy
Sign in to saverecursive functions studied in computer science
Article · Français
La fonction 91 de McCarthy est une fonction récursive définie par McCarthy dans son étude de propriétés de programmes récursifs, et notamment de leur vérification formelle. Avec la fonction de Takeuchi, elle est un exemple amplement repris dans les manuels de programmation.
Abstract from DBpedia / Wikipedia · CC BY-SA