1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Merlin Carl, Lorenzo Galeotti, Robert Passmann
We consider a randomised version of Kleene's realisability interpretation of intuitionistic arithmetic in which computability is replaced with randomised computability with positiv…