Weihrauch, K.K.Weihrauch2022-03-072022-03-071974https://publica.fraunhofer.de/handle/publica/284010de004005006Teilklassen primitiv-rekursiver Wortfunktionenreport