16 citations · 46 across the 17 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
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…
cs.LO2021★ 2 cited
Fixpoint Theory -- Upside Down
Paolo Baldan, Richard Eggert, Barbara König +1
Knaster-Tarski's theorem, characterising the greatest fixpoint of a monotone function over a complete lattice as the largest post-fixpoint, naturally leads to the so-called coinduc…