A constructive interpretation of Ramsey's Theorem via the product of selection functions P Oliva, T Powell Mathematical structures in computer science 25 (8), 1755-1778, 2015 | 27 | 2015 |
Rates of convergence for iterative solutions of equations involving set-valued accretive operators U Kohlenbach, T Powell Computers & Mathematics with Applications 80 (3), 490-503, 2020 | 14 | 2020 |
A game-theoretic computational interpretation of proofs in classical analysis P Oliva, T Powell Gentzen's Centenary: The Quest for Consistency, 501-531, 2015 | 14 | 2015 |
The equivalence of bar recursion and open recursion T Powell Annals of Pure and Applied Logic 165 (11), 1727-1754, 2014 | 14 | 2014 |
On Bar Recursive Interpretations of Analysis. TRJ Powell Queen Mary University of London, 2013 | 14 | 2013 |
System T and the product of selection functions M Escardó, P Oliva, T Powell Computer Science Logic (CSL'11)-25th International Workshop/20th Annual …, 2011 | 14 | 2011 |
On Spector's bar recursion P Oliva, T Powell Mathematical Logic Quarterly 58 (4‐5), 356-265, 2012 | 13 | 2012 |
Gödel's functional interpretation and the concept of learning T Powell Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 11 | 2016 |
A universal algorithm for Krull's theorem T Powell, P Schuster, F Wiesnet Information and Computation 287, 104761, 2022 | 10 | 2022 |
An algorithmic approach to the existence of ideal objects in commutative algebra T Powell, P Schuster, F Wiesnet Logic, Language, Information, and Computation: 26th International Workshop …, 2019 | 10 | 2019 |
Rates of convergence for asymptotically weakly contractive mappings in normed spaces T Powell, F Wiesnet Numerical Functional Analysis and Optimization 42 (15), 1802-1838, 2021 | 9 | 2021 |
Well quasi-orders and the functional interpretation T Powell Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying …, 2020 | 9 | 2020 |
A functional interpretation with state T Powell Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 9 | 2018 |
Bar recursion over finite partial functions P Oliva, T Powell Annals of Pure and Applied Logic 168 (5), 887-921, 2017 | 8 | 2017 |
Applying G\" odel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma T Powell arXiv preprint arXiv:1210.3117, 2012 | 8 | 2012 |
Computational interpretations of classical reasoning: From the epsilon calculus to stateful programs T Powell Mathesis Universalis, Computability and Proof, 255-290, 2019 | 6 | 2019 |
A note on the finitization of Abelian and Tauberian theorems T Powell Mathematical Logic Quarterly 66 (3), 300-310, 2020 | 5 | 2020 |
On the computational content of Zorn's lemma T Powell Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 5 | 2020 |
On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales M Neri, T Powell arXiv preprint arXiv:2406.19979, 2024 | 4 | 2024 |
A unifying framework for continuity and complexity in higher types T Powell Logical Methods in Computer Science 16, 2020 | 4 | 2020 |