Conor McBrideBooksList of Successes That Can Change the WorldTypes for Proofs and ProgramsAuthor data: Open Library