Recursive function

Intensional Kleene and Rice theorems for abstract program semantics
Classical results in computability theory, notably Rice’s theorem, focus on the extensional content of programs, namely, on the …
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
Cite DOI URL