×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [partial recursive functions]
Home >
partial recursive functions
Foundations of Mathematics - Malestrom
55 views
1 Luigi Liquori, joint work with Didier Benza, Raphael Chand, Michel Cosnard, and Marc Vesin Arigatoni: A Simple, Programmable Overlay Network Luigi Liquori,
217 views
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist
376 views
1 Turing Machines and Equivalent Models Section 13.2 The Church-Turing Thesis.
216 views
A natural axiomatization of computability and proof of Church’s thesis Nachum Dershowitz and Yuri Gurevich 1.
224 views
A natural axiomatization of computability and proof of Church’s thesis
44 views