Published in: LIPIcs, Volume 23, Computer Science Logic 2013 (CSL 2013)
Federico Aschieri, Stefano Berardi, and Giovanni Birolo. Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 45-60, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{aschieri_et_al:LIPIcs.CSL.2013.45, author = {Aschieri, Federico and Berardi, Stefano and Birolo, Giovanni}, title = {{Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1}}, booktitle = {Computer Science Logic 2013 (CSL 2013)}, pages = {45--60}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-60-6}, ISSN = {1868-8969}, year = {2013}, volume = {23}, editor = {Ronchi Della Rocca, Simona}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.45}, URN = {urn:nbn:de:0030-drops-41894}, doi = {10.4230/LIPIcs.CSL.2013.45}, annote = {Keywords: Interactive realizability, classical Arithmetic, witness extraction, delimited exceptions} }
Feedback for Dagstuhl Publishing