Linpeng Zhang
Linpeng Zhang
Home
Light
Dark
Automatic
Kleene's second recursion theorem
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
Cite
×