Login / Signup
A Rice-like theorem for primitive recursive functions.
Mathieu Hoyrup
Published in:
CoRR (2015)
Keyphrases
</>
recursive functions
inductive inference
von neumann
high level
higher level
geometric primitives
digital topology