Uniform Realizability Interpretations

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…