The top documents tagged [primitive recursion]

Turing Machines and Equivalent Models

---

79 views

A natural axiomatization of computability and proof of Church’s thesis

---

48 views