@misc{indiciae2ecd6ad85bc7,
  title = {The clocks they are adjunctions:Denotational semantics for Clocked Type Theory},
  author = {Bassel Mannaa and Rasmus Ejlers Møgelberg},
  year = {2018},
  url = {https://arxiv.org/abs/1804.06687},
  note = {Source identifier: 1804.06687}
}