Extracting Herbrand trees in classical realizability using forcing.

Lionel Rieg

Browse the full CSL paper archive.