8 citations · 8 across the 1 of their papers we have counts for
1 paper · 1 filter
Jean-Louis Krivine
We show how to transform into programs the proofs in classical Analysis which use the existence of an ultrafilter on the integers. The method mixes the classical realizability intr…