Maria Emilia Maietti, Samuele Maschio. An Extensional Kleene Realizability Semantics for the Minimalist Foundation. In Hugo Herbelin, Pierre Letouzey, Matthieu Sozeau, editors, 20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France. Volume 39 of LIPIcs, pages 162-186, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]
Abstract is missing.