On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control.

Chuck C. Liang Dale Miller

Published in: LPAR (2015)

Keyphrases

neural network
control system
control strategy
inference rules
process control
databases
real world
optimal control
control method
control strategies
control structure