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

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Search results