Department of Computer Science

• Published

  Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  Modal dependent type theory and dependent right adjoints

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

• Published

  Iron: managing obligations in higher-order concurrent separation logic

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review

View all (157) »