TY  - RPRT
TI  - Embedding by Normalisation
AU  - Shayan Najd
AU  - Sam Lindley
AU  - Josef Svenningsson
AU  - Philip Wadler
PY  - 2016
UR  - https://arxiv.org/abs/1603.05197
ID  - 1603.05197
ER  -