Algebra and Logic
Article
Dinis,B;Gaspar,J
ANNALS OF PURE AND APPLIED LOGIC
2018
169
5
392-412
10.1016/j.apal.2017.12.004
Intuitionistic nonstandard bounded modified realisability and functional interpretation
NOVA Math > NOVA Math > NOVA Math Publications > Intuitionistic nonstandard bounded modified realisability and functional interpretation