Login / Signup

Formal definitions and proofs for partial (co)recursive functions.

Horatiu ChevalDavid NowakVlad Rusu
Published in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
  • recursive functions
  • formal definitions
  • inductive inference
  • normal form
  • theorem proving
  • theorem prover
  • prior knowledge
  • vc dimension
  • interactive theorem proving