TY  - RPRT
TI  - Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)
AU  - Simon Kramer
PY  - 2014
DO  - 10.1145/2811263
UR  - https://arxiv.org/abs/1309.1328
ID  - 1309.1328
ER  -