Thomas Powell

View Scopus Profile

Thomas Powell

Dr

 https://orcid.org/0000-0002-2541-4678

  • 1 WEST 4.61

Accepting Doctoral Students

  • 17 Article
  • 7 Chapter in a published conference proceeding
  • 3 Book chapter
  • 1 Doctoral Thesis
Filter
Chapter in a published conference proceeding

Search results

  • 2020

    On the computational content of Zorn's lemma

    Powell, T., 8 Jul 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. U. S. A.: Association for Computing Machinery, p. 768-781 14 p. 3394745. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    4 Citations (SciVal)
  • 2019

    An algorithmic approach to the existence of ideal objects in commutative algebra

    Powell, T., Schuster, P. & Wiesnet, F., 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. p. 533-549 (Lecture Notes in Computer Science; vol. 11541).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    7 Citations (SciVal)
  • 2018

    A functional interpretation with state

    Powell, T., 9 Jul 2018, LICS ’18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 839-848 10 p.

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    6 Citations (SciVal)
  • 2016

    Gödel's functional interpretation and the concept of learning

    Powell, T., 2016, LICS ’16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 136-145

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    7 Citations (SciVal)
  • 2015

    On the computational content of termination proofs

    Moser, G. & Powell, T., 2015, Evolving Computability: 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings. p. 276-285 (Lecture Notes in Computer Science; vol. 9136).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    2 Citations (SciVal)
  • 2012

    Applying Gödel's Dialectica interpretation to obtain a constructive proof of Higman's lemma

    Powell, T., 2012, Proceedings Fourth Workshop on Classical Logic and Computation. Vol. 97. p. 49-62 (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

  • 2011

    System T and the product of selection functions

    Escardó, M., Oliva, P. & Powell, T., 2011, Computer Science Logic 2011 - 25th International Workshop/20th Annual Conference of the EACSL, CSL 2011. p. 233-247 15 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 12).

    Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

    10 Citations (SciVal)