@misc{indiciaeb175097731c5,
  title = {Fixed point combinators as fixed points of higher-order fixed point generators},
  author = {Andrew Polonsky},
  year = {2020},
  doi = {10.23638/lmcs-16(3:7)2020},
  url = {https://arxiv.org/abs/1810.02239},
  note = {Source identifier: 1810.02239}
}