TY - RPRT TI - An application of continuous logic to fixed point theory AU - Simon Cho PY - 2019 UR - https://arxiv.org/abs/1610.05397 ID - 1610.05397 ER -