A subatomic proof system for decision trees C Barrett, A Guglielmi ACM Transactions on Computational Logic 23 (4), 1-25, 2022 | 4 | 2022 |
The Functional Machine Calculus II: Semantics C Barrett, W Heijltjes, G McCusker arXiv preprint arXiv:2211.13140, 2022 | 2 | 2022 |
On the quantized dynamics of factorial languages C Barrett, ETA Kakariadis The Quarterly Journal of Mathematics 69 (1), 119-152, 2018 | 2 | 2018 |
On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation C Barrett arXiv preprint arXiv:2305.16073, 2023 | 1 | 2023 |
The functional machine calculus C Barrett, W Heijltjes, G McCusker Mathematical Foundations of Programming Semantics (MFPS 2022). Preprint …, 2022 | 1* | 2022 |