A topos for a nonstandard functional interpretation
arXiv:1301.3679
Abstract
We introduce a new topos in order to give a semantic account of the nonstandard functional interpretation introduced by Eyvind Briseid, Pavol Safarik and the author.
arXiv:1301.3679
We introduce a new topos in order to give a semantic account of the nonstandard functional interpretation introduced by Eyvind Briseid, Pavol Safarik and the author.