Sign in

Guarded Computational Type Theory.

Jonathan SterlingRobert Harper
Published in: LICS (2018)
Keyphrases
  • theoretical framework
  • case study
  • theoretical basis
  • general theory
  • genetic algorithm
  • learning algorithm
  • mathematical programming
  • belief functions