4 citations · 6 across the 6 of their papers we have counts for
1 paper · 2 filters
Michael Pfender
We exhibit canonical middle-inverse Choice maps within categorical (Free-Variable) Theory of Primitive Recursion as well as in Theory of partial PR maps over the Theory of Primitiv…