Foundations of Mathematics - Malestrom
1 Luigi Liquori, joint work with Didier Benza, Raphael Chand, Michel Cosnard, and Marc Vesin Arigatoni: A Simple, Programmable Overlay Network Luigi Liquori,
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist
1 Turing Machines and Equivalent Models Section 13.2 The Church-Turing Thesis.
A natural axiomatization of computability and proof of Church’s thesis Nachum Dershowitz and Yuri Gurevich 1.
A natural axiomatization of computability and proof of Church’s thesis