Well-foundedness in Realizability

Martin Hofmann, Jaap van Oosten, Thomas Streicher. Well-foundedness in Realizability. Arch. Math. Log., 45(7):795-805, 2006. [doi]

Abstract

Abstract is missing.