3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2016
A Sound, Complete and Effective Second Order Game Semantics
Stefano Berardi
We define a game semantics for second order classical arithmetic PA2 (with quantifiers over predicates on integers and full comprehension axiom). Our semantics is effective: moves…
cs.LO2014★ 3 cited
Proving termination with transition invariants of height omega
Stefano Berardi, Paulo Oliva, Silvia Steila
The Termination Theorem by Podelski and Rybalchenko states that the reduction relations which are terminating from any initial state are exactly the reduction relations whose trans…