Relative and modified relative realizability (2002)

by Lars Birkedal, Jaap van Oosten
Venue:Ann. Pure Appl. Logic