33 citations · 67 across the 9 of their papers we have counts for
1 paper · 1 filter
Ulrich Berger, Paulo Oliva
This work introduces a novel framework of uniform realizability that unifies and generalizes various realizability interpretations of logic, particularly focussing on the treatment…