A Formulae-as-Types Notion of Control.

Timothy Griffin

Published in: POPL (1990)

Keyphrases

control system
data acquisition
neural network
real time
data sets
genetic algorithm
image sequences
optimal control
adaptive control
process control