8 citations · 20 across the 8 of their papers we have counts for
1 paper · 1 filter
Bruno Dinis, Jaime Gaspar
We present a bounded modified realisability and a bounded functional interpretation of intuitionistic nonstandard arithmetic with nonstandard principles. The functional interpretat…