EntityQ3075198· pop 5· linked from 17 articlesMcCarthy 91 functionSign in to saverecursive functions studied in computer scienceConnectionsrecursionEntityArtificial intelligenceConceptcomputer scienceEntityInternational Standard Book NumberEntityPythonEntitydigital object identifierEntityDonald KnuthEntityLispEntitymathematical inductionEntityOCLC, Inc.EntityJohn McCarthyEntitybibcodeEntityQ118398Entitygarbage collectionEntitycomputer scientistEntityQ22908627EntityAmir PnueliEntityformal methodsEntityformal verificationEntityDartmouth workshopEntityCategoriesFormal methodsRecurrence relations