Categorical characterizations of the natural numbers require primitive recursion.

Leszek Aleksander Kolodziejczyk Keita Yokoyama

Published in: Ann. Pure Appl. Log. (2015)

Keyphrases

multimedia
wide range
artificial neural networks
complex objects
real time
real world
search algorithm