The top documents tagged [total recursive functions]

Expressiveness and Model of the Polymorphic λ Calculus

Expressiveness and Model of the Polymorphic λ Calculus

307 views
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 Nachum Dershowitz and Yuri Gurevich 1.

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

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

45 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS