7 citations · 30 across the 9 of their papers we have counts for
1 paper · 1 filter
César Rodrigues, Manuel A. Martins, Alexandre Madeira +1
The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-in…