37 citations · 105 across the 15 of their papers we have counts for
1 paper · 2 filters
Jean-Louis Krivine
The technique of "classical realizability" is an extension of the method of "forcing"; it permits to extend the Curry-Howard correspondence between proofs and programs, to Zermelo-…