Intuitionistic fixed point theories for strictly positive operators

TitleIntuitionistic fixed point theories for strictly positive operators
Publication TypeJournal Article
Year of Publication2002
AuthorsRüede, C, Strahm, T
JournalMathematical Logic Quarterly
Volume48
Pagination195-202
URLhttp://www.iam.unibe.ch/ltgpub/2002/rs02.pdf