Login / Signup

The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory.

Bassel MannaaRasmus Ejlers Møgelberg
Published in: FSCD (2018)
Keyphrases
  • denotational semantics
  • programming language
  • operational semantics
  • databases
  • high speed