Analyzing realizability by Troelstra's methods, Ann. Pure and Applied Logic 114 (2002)

by J R Moschovakis