TY - RPRT TI - Fixed point combinators as fixed points of higher-order fixed point generators AU - Andrew Polonsky PY - 2020 DO - 10.23638/lmcs-16(3:7)2020 UR - https://arxiv.org/abs/1810.02239 ID - 1810.02239 ER -