A. S. Troelstra. Realizability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 407–473.
Toshiyasu Arai · Bulletin of Symbolic Logic · 2000
A. S. Troelstra. Realizability. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 407–473. - Volume 6 Issue 4