Results 111 to 117 of about 146 (117)

Techniques of Admissible Recursion Theory

Lecture Notes in Mathematics, 1984
Chi-Tat Chong
exaly  

Computability of Ordinal Recursion of Type Level Two

Lecture Notes in Mathematics, 1981
exaly  

Computability in Uncountable Binary Trees

Journal of Symbolic Logic, 2019
exaly  

On Signifiable Computability: Part II: An Axiomatization of Signifiable Computation and Debugger Theorems

Mathematics
Vladimir A Kulyukin
exaly  

Sequential Computability of a Function. Effective Fine Space and Limiting Recursion

Journal of Universal Computer Science, 2005
exaly  

A Difference in Complexity Between Recursion and Tail Recursion

Theory of Computing Systems, 2017
exaly  

Partial Elements and Recursion via Dominances in Univalent Type Theory

exaly