Exportar referência
APA
Bruno Dinis, Jaime Gaspar, (2018). Intuitionistic nonstandard bounded modified realisability and functional interpretation. Annals of Pure and Applied Logic, 169, 392-412. ISSN 0168-0072. eISSN . http://dx.doi.org/10.1016/j.apal.2017.12.004
IEEE
Bruno Dinis, Jaime Gaspar, "Intuitionistic nonstandard bounded modified realisability and functional interpretation" in Annals of Pure and Applied Logic, vol. 169, pp. 392-412, 2018.
10.1016/j.apal.2017.12.004
BIBTEX
@article{37724,
author = {Bruno Dinis and Jaime Gaspar},
title = {Intuitionistic nonstandard bounded modified realisability and functional interpretation},
journal = {Annals of Pure and Applied Logic},
year = 2018,
pages = {392-412},
volume = 169
}