Abstract Machines, Control, and Sequents.

Pierre-Louis Curien

Published in: APPSEM (2000)

Keyphrases

control strategy
control theory
linear logic
control system
real time
general purpose
control problems
artificial intelligence
high level
optimal control
control method