TY - RPRT TI - Public-key cryptography in functional programming context AU - Gyöngyvér Márton PY - 2010 UR - https://arxiv.org/abs/1003.1387 ID - 1003.1387 ER -