@misc{indiciae2bb9b815bd88,
  title = {The exp-log normal form of types},
  author = {Danko Ilik},
  year = {2016},
  doi = {10.1145/3009837.3009841},
  url = {https://arxiv.org/abs/1502.04634},
  note = {Source identifier: 1502.04634}
}