Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs

From MaRDI portal
(Redirected from Publication:3460055)