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