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