Categorical characterizations of the natural numbers require primitive recursion
2015 ◽
Vol 166
(2)
◽
pp. 219-231
◽
2018 ◽
2018 ◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):