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

by Werner Damm