Published in: LIPIcs, Volume 39, 20th International Conference on Types for Proofs and Programs (TYPES 2014)
Maria Emilia Maietti and Samuele Maschio. An Extensional Kleene Realizability Semantics for the Minimalist Foundation. In 20th International Conference on Types for Proofs and Programs (TYPES 2014). Leibniz International Proceedings in Informatics (LIPIcs), Volume 39, pp. 162-186, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{maietti_et_al:LIPIcs.TYPES.2014.162, author = {Maietti, Maria Emilia and Maschio, Samuele}, title = {{An Extensional Kleene Realizability Semantics for the Minimalist Foundation}}, booktitle = {20th International Conference on Types for Proofs and Programs (TYPES 2014)}, pages = {162--186}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-88-0}, ISSN = {1868-8969}, year = {2015}, volume = {39}, editor = {Herbelin, Hugo and Letouzey, Pierre and Sozeau, Matthieu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2014.162}, URN = {urn:nbn:de:0030-drops-54966}, doi = {10.4230/LIPIcs.TYPES.2014.162}, annote = {Keywords: Realizability, Type Theory, formal Church Thesis} }