Learn More
This paper is a study of the forcing translation through the proofs as programs correspondence in classical logic, following the methodology introduced by Krivine in [Kri08, Kri10]. For that, we(More)