A Curry-Howard Foundation for Functional Computation with Control.

C.-H. Luke Ong Charles A. Stewart

Published in: POPL (1997)

Keyphrases

dynamic programming
genetic algorithm
data structure
control system
control theory
data sets
neural network
evolutionary algorithm
data acquisition
control strategy
adaptive control