Login / Signup
Partial Recursive Functions in Martin-Löf Type Theory.
Anton Setzer
Published in:
CiE (2006)
Keyphrases
</>
recursive functions
inductive inference
prior knowledge
theoretical framework
computational model
multiple types
formal theory