TY  - RPRT
TI  - Stateless HOL
AU  - Freek Wiedijk
PY  - 2011
DO  - 10.4204/eptcs.53.4
UR  - https://arxiv.org/abs/1103.3322
ID  - 1103.3322
ER  -