Login / Signup

Formalizing Computability Theory via Partial Recursive Functions.

Mario Carneiro
Published in: ITP (2019)
Keyphrases
  • recursive functions
  • inductive inference
  • artificial intelligence
  • domain knowledge
  • general theory