Andrew Polonsky Fixed point combinators as fixed points of higher-order fixed point generators. 2020 16 Log. Methods Comput. Sci. 3 https://lmcs.episciences.org/6659 db/journals/lmcs/lmcs16.html#Polonsky20