Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification - Mainzer Klaus Et Al (World Scientific, 2021)
Keywords: Mathematics