TY  - RPRT
TI  - Purity through Factorisation
AU  - Oscar Cunningham
AU  - Chris Heunen
PY  - 2018
DO  - 10.4204/eptcs.266.20
UR  - https://arxiv.org/abs/1705.07652
ID  - 1705.07652
ER  -