@inproceedings{rieg:ensl-00814278, TITLE = {{Extracting Herbrand trees in classical realizability using forcing}}, AUTHOR = {Rieg, Lionel}, URL = {https://ens-lyon.hal.science/ensl-00814278}, BOOKTITLE = {{Computer Science Logic 2013}}, ADDRESS = {Turin, Italy}, ORGANIZATION = {{Simona Ronchi Della Rocca}}, EDITOR = {Simona Ronchi Della Rocca}, PUBLISHER = {{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}}, SERIES = {LIPIcs}, VOLUME = {23}, PAGES = {15}, YEAR = {2013}, MONTH = Sep, DOI = {10.4230/LIPIcs.CSL.2013.i}, KEYWORDS = {classical realizability ; forcing ; Curry-Howard correspondence ; Herbrand trees}, PDF = {https://ens-lyon.hal.science/ensl-00814278v2/file/main.pdf}, HAL_ID = {ensl-00814278}, HAL_VERSION = {v2}, }