TY  - RPRT
TI  - Tarski's least fixed point theorem: A predicative type theoretic formulation
AU  - Ian Ray
PY  - 2024
UR  - https://arxiv.org/abs/2401.00841
ID  - 2401.00841
ER  -