| " Knowing value" logic as a normal modal logic T Gu, Y Wang arXiv preprint arXiv:1604.08709, 2016 | 36 | 2016 |
| Proof-theoretic semantics for intuitionistic multiplicative linear logic AV Gheorghiu, T Gu, DJ Pym Studia Logica, 1-61, 2024 | 23 | 2024 |
| Proof-theoretic Semantics for the Logic of Bunched Implications T Gu, AV Gheorghiu, DJ Pym Studia Logica, 1-52, 2025 | 8 | 2025 |
| A complete diagrammatic calculus for boolean satisfiability T Gu, R Piedeleu, F Zanasi Electronic Notes in Theoretical Informatics and Computer Science 1, 2023 | 6 | 2023 |
| Coalgebraic semantics for probabilistic logic programming T Gu, F Zanasi Logical Methods in Computer Science 17, 2021 | 4 | 2021 |
| Functorial semantics as a unifying perspective on logic programming T Gu, F Zanasi 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), 17 …, 2021 | 4 | 2021 |
| A coalgebraic perspective on probabilistic logic programming T Gu, F Zanasi Dagstuhl Publishing, 2019 | 3 | 2019 |
| Hennessy-Milner results for probabilistic PDL T Gu, A Silva, F Zanasi Electronic Notes in Theoretical Computer Science 352, 283-304, 2020 | 1 | 2020 |
| Categorical modelling of logic programming: coalgebra, functorial semantics, string diagrams T Gu UCL (University College London), 2023 | | 2023 |
| A Complete Diagrammatic Calculus for Boolean Satisfiability TGRPF Zanasi | | 2022 |
