4 citations · 6 across the 6 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
math.CT2008★ 2 cited
RCF3: Map-Code Interpretation via Closure
Michael Pfender
For a (minimal) Arithmetical theory with higher Order Objects, i.e. a (minimal) Cartesian closed arithmetical theory -- coming as such with the corresponding closed evaluation -- w…
math.CT2008
RCF1: Theories of PR Maps and Partial PR Maps
Michael Pfender
We give to the categorical theory PR of Primitive Recursion a logically simple, algebraic presentation, via equations between maps, plus one genuine Horner type schema, namely Frey…