Applicative Bisimulations for Delimited-Control Operators

Dariusz Biernacki Sergueï Lenglet

Published in: CoRR (2012)

Keyphrases

control structures
control system
databases
real world
three dimensional
similarity measure
control method
adaptive control
control theory
neural network
social networks
information systems
feature selection
building blocks
autonomous robots