Login / Signup

Denotational semantics for guarded dependent type theory.

Ales BizjakRasmus Ejlers Møgelberg
Published in: Math. Struct. Comput. Sci. (2020)
Keyphrases
  • denotational semantics
  • programming language
  • nearest neighbor
  • data mining
  • data streams
  • query answering