TY  - RPRT
TI  - The exp-log normal form of types
AU  - Danko Ilik
PY  - 2016
DO  - 10.1145/3009837.3009841
UR  - https://arxiv.org/abs/1502.04634
ID  - 1502.04634
ER  -