Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study.

Cyprien Mangin Matthieu Sozeau

Published in: CoRR (2015)

Keyphrases

decision trees
case study
test bed
differential equations
numerical solution
genetic algorithm
real world
artificial intelligence
multimedia
three dimensional
medical images
linear equations