Follow
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. (arXiv:2004.01709v1 [cs.LO]) http://arxiv.org/abs/2004.01709
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. (arXiv:2004.01709v1 [cs.LO]) http://arxiv.org/abs/2004.01709