Intuitionistic fixed point theories for strictly positive operators. Rüede, C. & Strahm, T. Mathematical Logic Quarterly, 48(2):195–202, 2002.
Intuitionistic fixed point theories for strictly positive operators [pdf]Paper  bibtex   

Downloads: 0