most citedRCF3: Map-Code Interpretation via Closure

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

collaborators
Showing math.CTShow 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…