1 paper · 1 filter
Emanuele Frittaion
In "Extensional realizability for intuitionistic set theory", we introduced an extensional variant of generic realizability, where realizers act extensionally on realizers, and sho…