Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
-
e-bok
,
Engelska, 2021