Well-foundedness in realizability (0)

by M Hofmann, J van Oosten, T Streicher
Venue:Arch. Math. Logic