7 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
Francesco Dagnino, Francesco Gavazzo
Logical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive…