Post's Correspondence Problem

---

158 views

Slides Church-Turing Thesis (MoC)

---

1.355 views

Linking Interaction Nets and Post Canonical Systems

---

218 views

Slides Gödels Incompleteness Theorems

---

216 views