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