scientific article; zbMATH DE number 3706436

MaRDI QIDQ3898487zbMATH OpenFDO

Authors V. I. Amstislavskii

Publication date 1980

zbMATH Keywords

computable functionalscomputable operatorfixed point theoremfunctional substitutionsordering computations

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3898487)