Intensional Kleene and Rice Theorems for Abstract Program Semantics

Paolo Baldan, Francesco Ranzato, Linpeng Zhang

Classical results in computability theory, notably Rice's theorem, focus on the extensional content of programs, namely, on the partial recursive functions that programs compute. L…