Published in: LIPIcs, Volume 26, 19th International Conference on Types for Proofs and Programs (TYPES 2013)
Federico Aschieri and Margherita Zorzi. A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle. In 19th International Conference on Types for Proofs and Programs (TYPES 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 26, pp. 24-44, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@InProceedings{aschieri_et_al:LIPIcs.TYPES.2013.24, author = {Aschieri, Federico and Zorzi, Margherita}, title = {{A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle}}, booktitle = {19th International Conference on Types for Proofs and Programs (TYPES 2013)}, pages = {24--44}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-72-9}, ISSN = {1868-8969}, year = {2014}, volume = {26}, editor = {Matthes, Ralph and Schubert, Aleksy}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2013.24}, URN = {urn:nbn:de:0030-drops-46245}, doi = {10.4230/LIPIcs.TYPES.2013.24}, annote = {Keywords: Markov's Principle, Intuitionistic Realizability, Heyting Arithmetic, Game Semantics} }
Feedback for Dagstuhl Publishing