2

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
Quantitative strongest post: a calculus for reasoning about the flow of quantitative information
Linpeng Zhang, Benjamin Lucien Kaminski
Cite DOI URL