TY  - RPRT
TI  - On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos
AU  - Andrej Bauer
PY  - 2009
DO  - 10.1016/j.tcs.2011.12.005
UR  - https://arxiv.org/abs/0911.0068
ID  - 0911.0068
ER  -