Peter Michael Schuster, Schuster

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

948,41 DKK