most citedRCF3: Map-Code Interpretation via Closure

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2009

RCF4: Inconsistent Quantification

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…