63 citations · 112 across the 14 of their papers we have counts for
1 paper · 1 filter
Bruno Dinis, Étienne Miquey
In this paper we propose a new approach to realizability interpretations for nonstandard arithmetic. We deal with nonstandard analysis in the context of (semi)intuitionistic realiz…