Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen | lit.salon