3 citations · 3 across the 1 of their papers we have counts for
1 paper
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…