Login / Signup

Proofs in continuation-passing style: normalization of Gödel's System T extended with sums and delimited control operators: Distilled Tutorial.

Danko Ilik
Published in: PPDP (2014)
Keyphrases
  • control system
  • control structures
  • control method
  • databases
  • control strategy
  • optimal control
  • database
  • artificial intelligence
  • website
  • query language
  • robotic systems
  • process control
  • control structure