Typing Total Recursive Functions in Coq.

Dominique Larchey-Wendling

Published in: ITP (2017)

Keyphrases

recursive functions
inductive inference
theorem prover
neural network
genetic algorithm
support vector
small number
decision rules
formal methods