Induction and recursion on the partial real line with applications to Real PCF
scientific article; zbMATH DE number 1238625
scientific article