TY - RPRT TI - A fixed point theorem for COFEs AU - Stephen Dolan PY - 2023 UR - https://arxiv.org/abs/2306.01662 ID - 2306.01662 ER -