Research output per year
Research output per year
BS8 1UB
Programming languages, type theory, logic, semantics, proofs, category theory and its applications
Research output: Contribution to journal › Article (Academic Journal) › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Kavvos, A. (Principal Investigator)
1/12/23 → 30/11/25
Project: Research
Kavvos, A. (Principal Investigator)
1/12/23 → 31/05/25
Project: Research
Kavvos, A. (Principal Investigator)
1/03/24 → 30/11/24
Project: Research
Qian, Z. (Recipient), Kavvos, A. (Recipient) & Birkedal, L. (Recipient), 13 Sept 2021
Prize: Prizes, Medals, Awards and Grants