TY  - RPRT
TI  - Policy as Types
AU  - Lucius G Meredith
AU  - Mike Stay
AU  - Sophia Drossopoulou
PY  - 2013
UR  - https://arxiv.org/abs/1307.7766
ID  - 1307.7766
ER  -