4 citations · 6 across the 6 of their papers we have counts for
1 paper · 2 filters
Michael Pfender
Primitive recursion, mu-recursion, universal object and universe theories, complexity controlled iteration, code evaluation, soundness, decidability, Gödel incompleteness theorems,…