Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/06/20 → 9/06/24 |
Funding
- EPSRC (Engineering and Physical Sciences Research Council): £348,439.00
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
A semantic proof of generalised cut elimination for deep inference
Atkey, R. & Kokke, W., 11 Dec 2024, In: Electronic Notes in Theoretical Informatics and Computer Science. 4, 19 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile10 Downloads (Pure) -
Polynomial time and dependent types
Atkey, R., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages (PACMPL). 8, POPL, p. 2288–2317 30 p., 76.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus)41 Downloads (Pure) -
Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively
Daggitt, M. L., Atkey, R., Kokke, W., Komendantskaya, E. & Arnaboldi, L., 11 Jan 2023, CPP 2023 : Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). New York, NY., p. 102-120 19 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile5 Link opens in a new tab Citations (Scopus)52 Downloads (Pure)