The Peirce translation
computational extraction of witnesses from proofs in classical analysis
scientific article; zbMATH DE number 6019356
scientific article