Search
 
   

1 result for "domain:hal-ens.archives-ouvertes.fr"

  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