Full Abstraction for Functional Languages with Control.

Published in: LICS (1997)

Keyphrases

control system
control method
high level
expressive power
process control
reinforcement learning
search algorithm
natural language processing
control strategy
language independent