Refinement of Classical Proofs for Program Extraction. - Diana Ratiu (2011)

Exploring the Computational Content of the Infinite Pigeonhole Principle. - Diana Ratiu; Trifon Trifonov (J. Log. Comput., 2012)