Graph View All Domains All Tags

#models-of-computation

7 topics

Formal Sciences And Logic

Equivalence of Computational ModelsGraduateGeneral Recursive Functions and the μ-OperatorGraduateLambda CalculusCollegeMu-Recursive FunctionsGraduatePrimitive Recursive FunctionsCollegeThe Church-Turing ThesisGraduateTuring MachinesCollege