Theoretical Pearl: A simple proof of a folklore theorem about delimited control.

Dariusz Biernacki Olivier Danvy

Published in: J. Funct. Program. (2006)

Keyphrases

information retrieval
neural network
control system
theoretical analysis
control problems
control theory
highly reliable
databases
website
conditional independence
interactive theorem proving