1. 1
    Proofs as Cryptography: a new interpretation of Curry-Howard for software certificates pdf compsci security hal-ens.archives-ouvertes.fr
    puffnfresh avatar via puffnfresh 4 years ago | cached | no comments

  1.