On the failure of fixed-point theorems for chain-complete lattices in the effective topos
2012 ◽
Vol 430
◽
pp. 43-50
◽
2009 ◽
Vol 249
◽
pp. 157-167
◽
Keyword(s):
2013 ◽
Vol 2013
(1)
◽
pp. 192
◽
Keyword(s):
1981 ◽
Vol 1
(2)
◽
pp. 133-144
◽
Keyword(s):
2018 ◽
Vol 6
(8)
◽
pp. 297
Keyword(s):